My claims were that GNU awk is everywhere that awk sees substantial use, and that it runs everywhere.

These were two separate claims, and are very different.

It is very rare that you see a system that awk is frequently used on that doesn't have GNU awk installed.