Ok... it's 4.04, though the server crashed somehow a couple days ago (don't ask me, I'm not the admin) and it's in the process of being rebuilt. I think everything is being replaced/updated.