Oops. Nevermind, I see this is a placeholder for OS-specific preferences. I'll add a TODO.