UPDATE 7.1.1:
Adjusted the way sessions are stored and ensured sessions can be retained for more than 3 days, as was the case before. The effect is that all sessions will be flushed, which has the unfortunate side-effect that everyone will be logged out.
UPDATE 7.1:
Just a quick release to add a "remember me" checkbox to the login form, so users can finally chose if they want their sessions to be remembered after closing and reopening the browser. This will make sure that you remain logged in and don't have to authenticate every time that you open this website. Tip: uncheck this box on public computers.
Additionally a bug on the front-page for authenticated users has been fixed, where the page's submenu wasn't highlighting the correct item when scrolling.