Annotated Manual

I've just commited a small addition to phpweb that will allow the annotated manual work on a mirror. It works by downloading all the comments from www.php.net, and storing them in ./manual/usernotes. If people think that it's worthwhile, we could even add the usernotes dir to CVS and distributed updates to the comments that way (better, IMO) To download the comments from php.net, open http://your-mirror/get-user-notes.php. It'll create manual/usernotes, and populate it with the comments (about 2Mb of traffic to php.net). You may want to make usernotes not writable afterwards if you don't want users running the same script. Anyone got a better idea on how to manage that process? I'd like to hear if anyone uses it, or if you've got better ideas. (I'm trying to avoid having a DB for the mirror) Simon