hp300.html link to config(8) manpage

Simon Kuhnle <[email protected]>
Newsgroups gmane.os.openbsd.www
Message-ID <[email protected]>
Hi,

just stumbling through the platform files I found on hp300.html
in "History" following sentence:

Over the time, the 4.4BSD codebase was extended and corrected, and the
hp300 port switched to the regular config(8) for kernel configuration.

Shouldn't there be a link to config(8)?
I attached a diff for that if you think so.

Index: hp300.html
===================================================================
RCS file: /cvs/openbsd/www/hp300.html,v
retrieving revision 1.69
diff -u -r1.69 hp300.html
--- hp300.html	3 Nov 2007 12:34:40 -0000	1.69
+++ hp300.html	14 Jan 2008 15:10:00 -0000
@@ -57,7 +57,9 @@
 
 <p>
 Over the time, the 4.4BSD codebase was extended and corrected, and the hp300
-port switched to the regular config(8) for kernel configuration.
+port switched to the regular
+<a href="http://www.openbsd.org/cgi-bin/man.cgi?query=config&amp;sektion=8&amp;arch=hp300">config(8)</a>
+for kernel configuration.
 
 <p>
 Shortly after OpenBSD 2.9 was released, support was added for the 425e model,
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.