2007 — Push revisited

a catalogue of random things.