--- Comment #9 from Greg Lewis <[hidden email]> ---
I don't think one way is more correct than the other, they're just a different
way of essentially doing the same thing. I'm ok with either. If you prefer
the awk version then I have no problems with that. It is certainly shorter.