Just FYI, user settings are stored as a serialized hash in a large text field so no database schema changes are required for adding another user setting.