Agreed. It can be done, but it's a "use at your own risk" sort of thing. Generally, HTML doesn't care what characters are used in an ID, but other output formats do.
-Dan
On Sat, Feb 29, 2020 at 11:22 AM David Jencks [via Asciidoctor :: Discussion] <[hidden email]> wrote: