HomeSoftware Heritage

Bump mypy to v0.942