3 ms·Normally tl;dr is not appropriate; in this case it is.by dzdt 10y agoNormally tl;dr is not appropriate; in this case it is.