Um, your “TL;DR” summary is longer than the rest of your comment. (Not that either actually is too long to read.)
Um, your “TL;DR” summary is longer than the rest of your comment. (Not that either actually is too long to read.)