GitLab

We need a quick release for metrics-lib to recognize CollecTor's index.json files with additional fields. We do not care about those fields, but currently we fail when encountering unknown fields, which is really bad. We can later start parsing those fields, but for the moment (and for the future) it's only necessary to ignore any fields we do not recognize. Putting out the release now.