I have to love that someone enthusiastically announced there was going to be a fix.
Like, nobody, including the original issue author is actually enthusiastic about the fix. It’s just one less papercut.
I’m sure if these things were actually seen by devs they’d add a two line change to a random PR and it would be done in a few minutes.