Metainfo improvements (#419): aliases instead of synonyms, documentation, browser improvements. See merge request !208
