Link to Markdown pages by default, and correct to HTML in the HTML pages.

This way, the links are easy to follow when browsing HTML locally or
Markdown on GitHub.