Another necropost dug out of drafts. In principle, everything is still fairly accurate and relevant, except that “recently” (became the owner) — it’s not even clear when…. Couldn’t find the purchase data, which is rather strange. But roughly off the top of my head, 2015 or so…..