notes are on all mirrors now

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