TL;DR

I finally looked up tl;dr.  It's not a mistyped or misinterpreted bit of HTML markup as I first thought.