That's fair and maybe it is more boring. It was, after all, an off-the-cuff rewrite by some random person on HN. It wasn't written to demonstrate the ideal way to present the argument, but as a way of showing that the original used a whole lot of words to say not that much.