Please ignore this patch! Apologies, as I was sending another patch today, I thought I hadn't followed up on my earlier promise to send a patch for this issue. It turns out I have, it just hasn't been reviewed/merged yet: https://list.orgmode.org/20220228140750.75761-1-dafydd.lu...@gmail.com/
(I didn't find it at first because I'd searched the mailing list archive for my surname with diacritics, but the patch is signed with my surname *without* diacritics.) The earlier patch is better, please ignore this one. Sorry for wasting everyone's time. David