Merge branch 'hedgedoc' into 'newinfra'

Rename codimd to hedgedoc

See merge request !148

group_vars/reverseproxy.yml

@@ -39,7 +39,7 @@ nginx:
     - {from: zero.crans.org, to: 172.16.10.130}
     - {from: ethercalc.crans.org, to: "172.16.10.133:8000"}
     - {from: roundcube.crans.org, to: 172.16.10.107}
-    - {from: codimd.crans.org, to: "172.16.10.128:3000"}
+    - {from: hedgedoc.crans.org, to: "172.16.10.128:3000"}
     - {from: owncloud.crans.org, to: 172.16.10.136}
     # - {from: belenios.crans.org, to: 172.16.10.111}
     # - {from: mailman.crans.org, to: 10.231.136.180}