New pandoc version and its HTML format change