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`.