- Removed the doc version and absolute path from all user doc redirections.
- Made developer doc redirections use 13.0 instead of online, master or earlier version string.
- Fixed outdated links.
- Enforced the use of :doc:, :ref: and :download: directives for redirections.
- Replaced google drive/docs links by doc redirections.
- Removed the numbering from headings because it was either inconsistent, breaking the implicit hyperlink target or useless.
- Fixed incorrect heading formattings.
- Replaced hand-written flows by the :menuselection: directive
The "database management" section was just a big fourre-tout.
This commit splits a new "Practical Info" section from the
"Applications" section and split the db management page in
3 sub-pages that will be soon extended.
