use UIPrefs to store preferences; ignore top-level errors during source()