Update tools/awk.md