e14127b843
Now all toggle functions have the same name as their corresponding long command-line option. Also, all names now indicate the effect of the toggle when it is invoked from a default setting.