OpenBSD uses "The One True AWK."

  $ awk -V
  awk version 20211208

Kernighan's version is likely used in other places where the GPL is eschewed.