Fix different pandoc versions producing different HTML5