Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
COOL as used for the CADE-29 paper