Hardcoding stuff makes no sense. There are enough variations out there. Default + config probably.
As far as putting links in the faq, does it make sense to let man resolve stuff instead of providing the redirection link directly ? Actually, I think that in this day and age, the query? syntax is cumbersome Parentheses are okay in urls, so I see no reason why: man.openbsd.org/carp(4) shouldn't work.