we sometimes have issues with our stub files being out of date. `stubtest` might help. https://mypy.readthedocs.io/en/stable/stubtest.html We should explore.