IDE.StrippedPrefs
data Prefs