This adds documentation for all the user settings. It contains some TODOs that should be removed before merging. It's set to merge into the docs branch we can merge it all at once later.
cc @shpuld @hj , please take a look at the TODOs.