◐ Shell
clean mode source ↗

Message 239152 - Python tracker

Ah, I hadn't seen that. Thanks for the link.

But... is it really? They have basically the same root cause, but the general problem seems to be hard to fix, while the specific problem here seems to be basically "don't use the concrete API here because it breaks things".