See the PR description. I was done when I found out about that. Is this relevant enough to be reworked?