Misc.
While I'm at it: some other things I've done recently are improving the Tree Proof Generator (in particular, the proofs are now drawn on a separate page, so that you can get back to the form by hitting your browser's back button), writing a summary of Frege's "Grundgesetze der Arithmetik" (in German), and finding a new flat.