The REcompi distribution is now finished.