You are indeed right. Must have been unintended caching in one of my browsers. I am sorry.
Do you have a dedicated public issue tracker or are forums appropriate for such future posts?