A few cleanups in leoSettings.leo.  Now waiting for Terry's comments.

Leo build: 20140912082258