Release 9.2.0 (2020-03-20)

New

- a Docker configuration file is provided.

Improvements

- some responsiveness work has been done. The interface is now more usable with
  small devices;
- the search of articles has been improved;
- improved email notification mechanism.

Fixes

- various minor fixes (mainly bugs introduced on version 9.1.0 after the
  refactoring of the back-end).