21/07 Lot of housekeeping today - namely removing pages I didn't update and I planned to remove for a long time. The update page was cleared, since lot of older updates link to pages that don't exist anymore.