If he wants to use our class as a typechecker, so be it, i am not gonna be part of it. (I briefly considered reporting them, but the HTTP-only login on their bug tracker turned me off)