Merge branch 'release-v0.4.0' into 'main'

.gitignore

.gitlab/issue_templates/default.md

CHANGELOG.md

DEPENDENCIES.md

Makefile

build.properties.d/00_default.properties

doc/QueryShortcuts/doc.pdf

doc/QueryShortcuts/doc.tex

libs/qrcode-1.4.4.zip

misc/ext_cosmetics_test_data.py

src/core/css/tour.css

src/core/js/ext_bookmarks.js

src/core/js/ext_cosmetics.js

src/core/js/ext_map.js

src/core/js/ext_qrcode.js

src/core/js/ext_references.js

src/core/js/fileupload.js

src/core/js/webcaosdb.js

src/core/xsl/entity.xsl

src/core/xsl/navbar.xsl