See AppDefaults.swift for the app’s preference keys, including hidden prefs.
(TODO: document them here.)