@1280dda4 I will probably email @41e6f3db in the unlikely case that I ever need to figure out something like this...