Release-Doc is now a HTML file; added more info