CHANGES.html, README: Update the administrivia.