Tweak some colors.
Remove references to the algebra pages on the prooftoys site.
These have moved to mathtoys.
Apply left-elision more aggressively.
Remove the algebra examples pages; they have moved to mathtoys.
Copyright.
Copyrights.
Organize simplification code for more readable proofs.
Tidy.
Make the "Working . . . " indicator fade in and out.
Make the step editor busy indicator stay in one place even when
steps are added (which they usually are when the editor is busy).