Nice to see this site back. I wonder how much people this site lost because of the problems it had.
And let's see if I am still in the suppressed threshold, however that is supposed to be calculated.
Work is now about using XML for encoding formulas, and transforming them according to derivation rules. MathML seems ideal, but turned out to be cumbersome to work with.