chiark / gitweb /
get rid of code for obsolete "launchAtStartup" pref