Had a CI failure when we test the installed stubs and numpy 1.25.0 gets installed, where `mypy` complained. Needs investigation.