An AsciiDoc processing filter for html-pipeline based on Asciidoctor