release.html is already formatted - these aren't needed anymore