Comment by theparanoid

I feel let down, GAWK would have been a great name.