I closed that PR because the type checker in the CI failed and I don't know enough about Python to be able to make the type errors go away both in VS Code/Pylance and the CI