remove all patch versions from documentation

[itaysk]

Description

remove all patch versions from documentation while preserving existing links as redirects to the latest patch version.
tested locally and seems fine.
for reference, here are the commands I run:

# delete

mike delete v0.{17.{0,1},18.{0,1,2},19.{0,1},20.{0,1},21.{0,1,2},24.{0,1,2,3},25.{0,1,2,3},27.0,28.0,29.{0,1},30.{0,1,2,3},31.{0,1,2}}

# alias

mike alias v0.17.2 v0.17.{0,1}
mike alias v0.18.3 v0.18.{0,1,2}
mike alias v0.19.2 v0.19.{0,1}
mike alias v0.20.2 v0.20.{0,1}
mike alias v0.21.3 v0.21.{0,1,2}
mike alias v0.24.4 v0.24.{0,1,2,3}
mike alias v0.25.4 v0.25.{0,1,2,3}
mike alias v0.27.1 v0.27.0
mike alias v0.28.1 v0.28.0
mike alias v0.29.2 v0.29.{0,1}
mike alias v0.30.4 v0.30.{0,1,2,3}
mike alias v0.31.3 v0.31.{0,1,2}

# retitle

mike retitle v0.17.2 v0.17
mike retitle v0.18.3 v0.18
mike retitle v0.19.2 v0.19
mike retitle v0.20.2 v0.20
mike retitle v0.21.3 v0.21
mike retitle v0.24.4 v0.24
mike retitle v0.25.4 v0.25
mike retitle v0.27.1 v0.27
mike retitle v0.28.1 v0.28
mike retitle v0.29.2 v0.29
mike retitle v0.30.4 v0.30
mike retitle v0.31.3 v0.31

# retitle gaps

mike retitle v0.15.0 v0.15
mike retitle v0.16.0 v0.16
mike retitle v0.22.0 v0.22
mike retitle v0.23.0 v0.23
mike retitle v0.26.0 v0.26

Related issues

• Close docs site version selector should omit patch version #2288

Related PRs

• docs: don't push patch versions #2824

Checklist

• I've read the guidelines for contributing to this repository.
• I've followed the conventions in the PR title.
• I've added tests that prove my fix is effective or that my feature works.
• I've updated the documentation with the relevant information (if needed).
• I've added usage information (if the PR introduces new options)
• I've included a "before" and "after" example to the description (if the PR is a user interface change).

[knqyf263]

It works like a charm👍