Prefs and settings for my developer toolbox.