And hello again,

On Sun, Nov 15, 2009 at 5:07 PM, Bert Freudenberg <bert at freudenbergs.de> wrote:
> Hey, I'm not saying we can't move it to the World menu :)

all right. To make a concrete proposal ... having discussed this with
colleagues, I'd suggest to put it under "Preferences & Services". If
there are no objections, I will commit that change tomorrow, and also
remove the Utilities method I added earlier.

Best,

Michael