Merge branch 'terminology-rieks' into 'master'

updates on docusaurus.config.js

See merge request !40
1 job for master in 1 minute and 59 seconds (queued for 3 seconds)