On 4/1/2020 5:40 AM, Joseph Rushton Wakeling wrote: > Before we derail the discussion thread any more, maybe I ought to have a chat > with a few former colleagues just to refresh memories, and write this up as a > blog post ... It'd make a great blog post. Please do!