Try to improve Toy.unicodify.
Render integer exponents with superscripts.
Slight cleanup efforts in the step editor.
Simplify some markup in theorems.js.
Add Expr.toHtml and generate HTML for exponentiation in it (and Expr.toUnicode).
Comments.
Clean up some HTML generation code.
Remove remaining mentions of the "formula" property of rules.