I like it a lot. Use it with --disallow-untyped-defs to make sure more is caught...

		animatedb on Nov 5, 2020 \| parent \| context \| favorite \| on: Python overtakes Java to become the second-most po... I like it a lot. Use it with --disallow-untyped-defs to make sure more is caught.