4 ms·.by 19f191ty 6y ago.Springtime 6y agoKind of off-topic but it strikes me how 'tl;dr' has replaced usage of 'summary' in more contexts than I would have expected. Here perhaps feels a bit out of keeping given the subject matter.