Well... to be fair, there's also a 35-line Java version there.

awk is for messing with text, of course it's going to be terser.