[PATCH 1/1] doc: move README.log to HTML documentation