3 ms·Now this is the kind of pedantry I was worried had vanished from HN. Bravo.by CPLX 1y agoNow this is the kind of pedantry I was worried had vanished from HN. Bravo.