Add link to how-to-contribute-docs.html

This is also a test of the "Edit this page" button that I am adding. Please do not merge this PR yet as it depends on other commits.