Metainfo improvements (#419): aliases instead of synonyms, documentation, browser improvements. (!208) · Merge requests · nomad-lab / nomad-FAIR

On Monday, June 12, 2023, from 9.00 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.