It seems as though this issue occurred to him, then he used their tool ("Xint Code") to analyze the codebase for instances of it.