Online documentation editor

Features:

• Work à là github/gitlab issue edit.
• Format of choice should be reestructured-text.

Here is a tip: use CodeMirror through https://github.com/sveetch/djangocodemirror

Just pushed a set of modifications that allow CodeMirror to be used inside the Django admin interface and to add/update algorithms and dataformats.

Status changed to closed

mentioned in commit f4a4fad8