awk sites AWK FAQ (2002) GNU awk manual awklang.org Red Hat gawk Beginner's Guide Last Modified: Tue Oct 6 16:33:02 EDT 2026