formatted/reindented release.html