This is really hard to keep up to date, and not very useful. If needed,
this information should be provided in a different way, e.g. by adding
a description to the jobs in .gitlab-ci.yml.