4 ms·

I didn't want to editorialise the title when I submitted, but yes, the tweet does make for a better title.