3 ms·I deleted that line, so we don't have to have the world's most boring discussion on HN.by staunch 16y agoI deleted that line, so we don't have to have the world's most boring discussion on HN.