ports index out-of-date

[jb]

Hi,
it seems that the problem (last reported and fixed around Oct 17) still persists:
# cd /usr/ports
# fetch http://www.FreeBSD.org/ports/INDEX-9.bz2
INDEX-9.bz2                                   100% of 1621 kB  161 kBps 00m00s
# ls -al IN*
-rw-r--r--  1 root  wheel   1660069 Oct 20 18:13 INDEX-9.bz2
jb