On Fri, Aug 23, 2013 at 10:36 AM, Brian Smith <brian at briansmith.org> wrote: > IMO, in general we shouldn't spend effort on prefs, *especially* > hidden prefs, and especially when there are other ways of getting the > same or similar behavior. I concur!