Various cleanup

This fixes @rizar's comment on the developer guidelines, as well as some documentation and formatting fixes to Jan's PR.