Rename release-11.07.02.php to release.php.
Replace non-UTF-8 characters by HTML entities.
Replace .php links by .html links.
Add footer.inc as a common include file.
Delete placeholder footer text.
Replace GPL3 by GPL2 that we use in the source distribution.
Use the copyright statement from the README.
Fix banner URL.
Reword heading on About page.
Delete sentence fragment on Features page.
Say that GCC back-end has been removed.
Fix/delete links to G12 and Aditi projects.
Fix links to current release page.
Uncomment release 0.9 information.
Fix some whitespace on papers page.
Put links to papers on new line.
Add some text on the Development page.
Update information about mailing lists.
Update links to bug tracker.