By the way, the "Who's online" list at the bottom of the main page doesn't seem to update properly. In the last few days, it has always shown the same users. If you click on "details", you get an updated list, however.
I have the impression this is fixed now, is it?... Didn't change anything so far
