* Update install.sh * Update install.sh * Update develop.yml * Update install.sh * Update develop.yml * Update install.sh * Update install.sh * Work around suspected frozendict bug * Faff around with install-webserver.sh * Actually I don't think these clash anyway * Minor cleanup * Add comments Co-authored-by: Olivier <olivier@librepush.net>
This replaces Riot with Element in various CI scripts, modules, parameters, etc. This _should_ be the last major rebranding pass (hopefully). Fixes https://github.com/vector-im/element-web/issues/14894