Add documentation about how to use MySQL or Redis
Minor fixes in the documentation
Improve the layout of the configuration variables page