Thanks for reporting the issue. I’ve known about it, but I’ve always just refreshed the page without really thinking about it.
Looking around, it appears to be an issue with Vanilla themes, or at least the version we are using. Theoretically it should be easy enough to fix, assuming the issue is actually within the theme itself. Right now I’m working on other stuff, but I’ll add it to the TODO list.
