I know that, but it didn't seem relevant - I don't think she or her students are writing their papers for school in HTML, any more than they're typesetting them. (And even here on LJ where she could use HTML, plain ASCII is so much easier that everyone still does the double-dash thing :)