Settings

Where every workspace configuration option actually lives.