Yeah Gawk is Gnu's Awk, its a well established name. Your code snippet does showcase Awk's utility. It brutally cuts through all the ceremony around reading an

Yeah Gawk is Gnu's Awk, its a well established name. Your code snippet does showcase Awk's utility. It brutally cuts through all the ceremony around reading and iterating over lines.