21/12/2019 done:
* add save/publish options to the navbar (under the Project menu)
to do:
* implement auto-save -> each 15 minutes, save a separate copy of the project; write a script to remove saves older than a week (?)
* update the guide
there won't be any window to browse all those automatic saves just yet. The priority is to implement auto-save, so that no work is lost (e.g. in case where an editor update screws something up). If somebody reports his work is gone, I'll retrieve the previous auto-save manually.