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)
Status Job ID Name Coverage
  Build
passed #1201672
build

00:10:43

 
  Test
passed #1201677
dev_setup_tests

00:11:10

passed #1201674
gui_linting

00:02:28

passed #1201676
install_tests

00:08:17

passed #1201673
linting

00:06:09

passed #1201675
tests

00:13:06

78.0%
 
  Deploy
manual #1201678
allowed to fail manual
deploy
 
  Release
manual #1201679
allowed to fail manual
release