Open
Description
We currently have only one version of docs deployed, always reflecting the latest changes in master. This is inaccurate for users of older versions: #1178 #944
We can try to set up https://github.com/jimporter/mike for versioning.
{{ message }}