I imported version 4.0.1-rc1 into Git. We might release 4.0.1~rc1-1 to experimental, such that this release candidate version can get additional testing from our users. Rafael