Bring CHANGES.html up to date