This MR cleans up inconsistencies and warnings in the docs. It also finalizes the shape of the CONTRIBUTING file.