https://github.com/gap-system/PackageDistro/blob/data/reports/4.12.2/2024-02-21-02:46:28-8022e7de/report.md