Merge branch 'metainfo' into 'v0.9.4'

Metainfo improvements (#419): aliases instead of synonyms, documentation, browser improvements.

See merge request !208
8 jobs for v0.9.4 in 23 minutes and 50 seconds (queued for 2 seconds)