Sorry for my lack of follow-up. I don't want to block this MR just because I'm not taking the time to properly look into what you said.
However, if you do go ahead with merging, please add this explanation as code comments. Or at the very least in the commit message. Nobody will find this here in the (later collapsed) discussion section after it's been merged, and we want the next person to avoid having the same question.