- edit bin/update-project-dependencies
- fix the values of :
  - sha256sum cabal.project
  - sha256sum cabal.project.freeze
- nix-shell $ ./bin/update-project-dependencies
- git add -u
- git commit

Also, fix for notifications throttle delay value

Also, throttle messages to avoid flooding the client

This commit maps the "Publish" action inside CodiMD/HedgeDoc to the
share URL feature.

This commit improves a bit the ShareURL internal API by wrapping the
returned URL into a proper `ShareURL` type (that internally uses a typed
representation for the URL).

Fixes #374 by not using a bespoke config file, but rather setting
the `window.domain` and `window.urlpath` via regex substitution.

This avoids using an old `window.version` that would cause the
refresh modal to popup every time after each upgrade of HedgeDoc /
CodiMD.

The new files in `docs/` explain:
1. How to get one's editor to play nice with HLS
   and the Gargantext project
2. To interact with the server/database from within GHCI

A reference to them has been added to the `README`.