documentation search problem

Hi there,

there are seems some problem with search on www.postgresql.org.
http://search.postgresql.org/search?u=%2Fdocs%2F8.3%2Fstatic%2F&q=staattnum
returned no hits, while 'staattnum' can be easily found on 
http://www.postgresql.org/docs/8.3/static/catalog-pg-statistic.html
    Regards,        Oleg
_____________________________________________________________
Oleg Bartunov, Research Scientist, Head of AstroNet (www.astronet.ru),
Sternberg Astronomical Institute, Moscow University, Russia
Internet: oleg@sai.msu.su, http://www.sai.msu.su/~megera/
phone: +007(495)939-16-83, +007(495)939-23-83