Hi, We have released 4021 as a new tested version. The problem regarding the Licence Change Phase III is (hopefully) fixed. Please keep the repository stable until the changes to the server are implemented, so we can add a point release if necessary. Paul