Ian's personal secnet repo on chiark, for work-in-progress stuff etc.