Stricter Asciidoc, that now works on opensource.yubico.com as well