if you will visit http://www.openbsd.org/cgi-bin/man.cgi and want to
read some of intro(x) pages, then all lead to intro(1). But you can
see above, that section was changed correctly. But if you will enter
intro to Man Page or Keyword Search: and choose eg. section 9, then
after Sumbit it will show intro(4) and not intro(9).
Yes, known problem, Bob broke some spects of man.cgi when trying to
work around a bug in man(1) which i fixed in the meantime.
Somehow, it seems Bob never found the time to remove the bad
workaround and just use the repaired man program instead.
Right now, he definitely won't find any time; hopefully he will
around the time of the hackathon, and hopefully i will be there
to remind him.
the most recent commit fixes the bug the bad workaround is supposed