On Fri, Feb 10, 2012 at 2:13 AM, Robert Kern <robert.kern at gmail.com> wrote: >> Given your points and the feedback from others as well, I've changed >> both -user and -dev. > > And there was much rejoicing! We aim to please :)