\renewcommand{\docversion}{Version 2016.0-alpha-3.1-71-g81b735}