4 ms·

Thanks for the info. I prefer the fancy punctuation. I wonder if I can switch it on in other browsers, an extension maybe..