pbelmans
commented
6 years ago So we need to handle all <span class="cite">: they can appear in the tag's HTML, but also in its reference, and even in historical remarks. The best solution might be to add a column to the Citation table, giving the optional argument (if there is any).
To make this easier, I will wrap this in PlasTeX with a <span class="postnote">.
We'll also have to move the list of citing tags to the main body of the bibliography entry page, but that's probably a good idea anyway.
Right now on the bibliography entry page we say which tags cite a result, but we should give the optional argument too, so that people can do a reverse search on for instance (and most importantly) EGA.