gitlab/Konfis: links for easycrypt2