4 ms·

I know it wasn't. That's called "editorial license" and you see it every single day on HN when users creatively edit headlines.