Dear All (and with thanks to Arjon van Hengel for co-authoring), As was discussed in newsletters dated 28 Nov 2020 (a general announcement) and 29 Apr