On 19 Jun 2015, at 0:10, Ale Muñoz wrote: > Now we now why the feature is so hidden : ) It's obviously horribly broken. Sorry about that. I'll remove it from the Hidden Preferences manual page. -- Benny