Due to (un)foreseen problems that crept into the release process, we are postponing the release of version 4.0 until early/mid June. Apologies if this causes any problems -- Matthias