Switching the RELEASE notes from plain text to html format, and some other minor updates.
Authored by: debug 2007-06-23
Parent: [r5015]
Child: [r5017]