or at least they will once the mirrors sync up to rsync.php.net.
as part of this, i finally went in and fixed all the old notes that
were filed under their page title instead of the page id. this may
have caused some old notes that weren't showing up before to show up
again, so keep your eyes peeled for those.
one thing that would be nice to fix is making sure that all of
sections of the manual that get turned into html files get a proper id
(instead of x######), to prevent notes from shifting around when those
sections change.
jim
