On 19 Jun 2015, at 7:44, Benny Kjær Nielsen wrote: > It's obviously horribly broken. Sorry about that. I'll remove it from > the Hidden Preferences manual page. Does this mean that we'll not see it anytime soon? It's hopeful and I'm actually using it. Will it continue to be available for use since I've configured my installation to enable it? — Curtis acm