ah, right. so perhaps would go away with the upcoming change for that?

Fingers crossed. I’ll try to reproduce this and see if it works better after that fix.