HomeSoftware Heritage

mypy: Turn old type comments into pure type annotations