doc: generating MD and HTML files for the users guide by default