On Tue, 22 Feb 2022, Richard Sandiford wrote: > Err, scratch that. Clearly I've not had tea this morning, and forgot > which version we're about to release :-)
No worries! (And it's not even 13 yet. ;-) For the record, I for one am happy for you to make such changes as you see fit (where applicable), i.e., happy to provide a second pair of eyes, but that's an offer, not a requirement. Gerald
