FBSD web site man lookup & ipfilter

[fbsd_user]

IPFILTER is built into the base release of FBSD. I can do (man ipf)
or (man ipnat) on a fresh install of FBSD and get the manual info.
But when I go to http://www.freebsd.org/cgi/man.cgi  to look up the
manuals on ipfilter they are all missing.

Is there some good reason for this, or has it just been missed?

Who should I notify to get this fixed?