Converting the LaTeX source to HTML.

The first pass is an automated conversion with Pandoc (version 3.9 was used):

	pandoc -f latex -t html main.tex --wrap=preserve --mathml --citeproc --csl association-for-computing-machinery.csl -s -o html/index.html

association-for-computing-machinery.csl comes from 
https://github.com/citation-style-language/styles/blob/d506f4c7697f033776689c4b79b19afa86ba4934/association-for-computing-machinery.csl

This was followed by extensive manual hacking to set the stylesheet,
fix up footnotes, use sectioning elements, etc.

To convert the tikZ figure to SVG, create a new file qname.tex
that consists of just the figure, with a short header and footer:

```
\documentclass[tikz]{standalone}
\usepackage{tikz}
\usetikzlibrary{calc}
\usetikzlibrary{decorations.pathreplacing}
\usetikzlibrary{matrix}

\begin{document}
\begin{tikzpicture}[
...
\end{tikzpicture}
\end{document}
```

Convert to PDF:

	pdflatex qname

Then open qname.pdf in Inkscape, Poppler/Cairo import.
Add a page-sized white rectangle underneath the drawing.
Save as SVG.
