Rotate current documentation

[dlachaume]

Content

This PR includes the rotation of the current documentation.

Pre-submit checklist

• Branch
  • [ ] Tests are provided (if possible)
  • [ ] Crates versions are updated (if relevant)
  • [ ] CHANGELOG file is updated (if relevant)
  • [x] Commit sequence broadly makes sense
  • [x] Key commits have useful messages
• PR
  • [x] No clippy warnings in the CI
  • [x] Self-reviewed the diff
  • [x] Useful pull request description
  • [x] Reviewer requested
• Documentation
  • [ ] Update README file (if relevant)
  • [ ] Update documentation website (if relevant)
  • [ ] Add dev blog post (if relevant)

[github-actions[bot]]

Test Results

    3 files  ±0     43 suites  ±0   8m 24s :stopwatch: -11s   976 tests ±0    976 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  1 070 runs  ±0  1 070 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0 

Results for commit 917ae8db. ± Comparison against base commit dd881df5.