Dokeos 1.8.5 released... kind of!

It's still a bit premature because we'd like to try it out a few times more before officially announcing it on the website, so if you want to help, feel free to download your version from here: In a few hours from now we will make the official announcement, so the official release date will be the 12th of June anyway. If you happen to witness some wierd thing in the install or upgrade procedure, please, let me know as soon as possible! Otherwise, just enjoy the ride. Dokeos 1.8.5 is concrete-stable, and this is a stability we will now be able to build on for the next version.