Closes #1584: Point to master doc in HTML "top" link.

--HG--
branch : stable
extra : amend_source : b3a4724cad0d7977c1fe4d1a2fd2a79959e93c2f
merge with stable