LaTeX symbol \footnote are numbered on the web version

[prowlett]

If you set LaTeX footnotes to be symbols rather than numbers using \renewcommand*{\thefootnote}{\fnsymbol{footnote}}, the HTML version numbers them nevertheless.

(Actually, the issue in #108 was made more complicated because the LaTeX footnotes were using symbols but the web version of the notes didn't respect that, but I'm reporting this as a separate issue because I think it is a slightly different thing.)

\documentclass{article}

\begin{document}
\renewcommand*{\thefootnote}{\fnsymbol{footnote}}

~\vspace{17cm} % to make the PDF screenshot less tall

Here\footnote{On this page.} is some text\footnote{You know, writing words and so forth.} with a footnote.

\end{document}

LaTeX version:

HTML version:

[christianp]

I think this should be dealt with in plasTeX, rather than just here. It doesn't look like plasTeX has any facility for overriding footnote markers at the moment.