On 12/30/2013 12:19 AM, Stephen Worthington wrote: > There has got to be a better way to find obscure settings! There's a reason we've been trying to remove a bunch of useless settings--to make it easier to find useful settings. Mike