docs: Note that gawk (GNU awk) is required.