Whoops, yes. The original wording of my comment was the definition of TL;DR. The point I was trying to make is that in this case, the first paragraph of TFA was

Whoops, yes. The original wording of my comment was the definition of TL;DR. The point I was trying to make is that in this case, the first paragraph of TFA was its own TL;DR, so GGP was particularly redundant.