ikelos@gentoo.org Mike Auty Extensions for the mypy static type checker python/mypy_extesions