2 ms·

Ah, indeed! I now also see it. I guess parts of the site are cached and take time to refresh? Regardless, thanks for the correction!