Manual Download Suggestion

Hi, I have enjoyed using the Complied HTML Help version of the PHP manual. It's fast to refer to (I can access it in two clicks from the Start Menu), searchable, contained in one file, and the interface is pretty good. Something I miss though are the user-contributed notes to the manual. Often they are as valuable as the manual itself, providing great tips and further understanding. So, I'd like to suggest that a version of the Compiled HTML Help manual be provided with the user notes included, if possible. It'd be a great help. Actually, now that I think about it more, what is needed is a script to generate static HTML files of the manual with user notes, and then those files could be compiled into HTML Help format using the same methods used for the regular manual. Maybe it could be run once a week, or once a day on a cron job if it doesn't take too long. Well, thanks for reading this and considering my suggestion. Keep up the great work! Adam Porter