[jcheng]

Would’ve been perfectly readable and no larger if they had used newline instead of pipe.