As discussed in #2045, this PR makes the CONTRIBUTING doc also visible from the main documentation site.