From time to time check for superfluos `type ignore` with the ` warn_unused_ignores = True` option of mypy.
