Nicer API for `Tools.prefs`