I honestly appreciate tl;dr comments like GP's. They end up saving me a lot of clicks/time, and they're a major part of the value I get from HN (especially when it comes to topics I don't know much about myself).