2020-02-09

Started this, which might be a mistake. On the one hand these things oughtn't to be public, but on the other hand nobody's going to read this anyway, so who knows?