The macro used to display the last revision date in fact returned the last update date, i.e. the build date of the page, which was simply always today.
- 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
