https://github.com/oxidecomputer/hubris/pull/272
(specifically https://github.com/oxidecomputer/hubris/pull/272/files#diff-... )
<meta name="generator" content="Asciidoctor 2.0.16">
so I guess https://asciidoctor.org/
https://github.com/oxidecomputer/hubris/pull/272
(specifically https://github.com/oxidecomputer/hubris/pull/272/files#diff-... )