Template:R:HOL/documentation

Parameter 1 should be the number found by searching the site.

Parameter 2 is optionally a name other than the pagename.