With that out of the way … there’s also a problem generating the PDF:
Asciidoc-pdf doesn’t passthrough as good as regular asciidoc-to-html converter (see https://docs.asciidoctor.org/pdf-converter/latest/passthrough-content/ ). I’ll see if we can make HTML cleaner/simpler so that it can work with PDF, or alternatively, we could ignore the entire section in the PDF… |