Settings

Various settings for the developer