Ha! Funny.
I made this 5 second comment just before bed, so it wasn’t so much being lazy, but not having time to click on anything else before calling it a night.
And it worked out because someone else was kind enough to give me a TL;DR and I got to bed on time.