These pages are published here but also turn up as blog entries on smcv.pseudorandom.co.uk.