added version to HTML docs