pip install asciidoc3
# stuff happens
asciidoc3_postinstall
# more stuff happens
#now asciidoc3 is ready and Leo can use it:
asciidoc3 --helpThanks for this. Still, I think the slight extra difficulty in installing asciidoctor is well worthwhile.