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!