Must have a minimum of 1000 lines of code in a single project to count as "used", so that following a tutorial or running some examples won't count as "using the language".

Only new code counts. If I have an old project and make changes to it, the changes must be substantial(>1000 lines diff) to count as actively using it.

I won't start or avoid new software projects or languages to manipulate this market, though if somebody adds an option and I see it it could influence me. For example, "SMT-LIB" and the option reminds me that I could solve a problem using an SMT solver; but I wouldn't e.g. avoid using the Z3 Python library in favor of SMT-LIB just to get mana.