mypy

49983fc4 - tox: remove outdate coverage targets (#13520)