Read-only release history for HTML-HTML5-DOM