Backport Versions menu to 13.12
This MR adds the new Versions menu to the 13.12 docs site.
This was released and then rolled back, so this MR:
- Reverts this revert: !2932 (merged)
- Adds this fix: !2936 (merged)
How to test
See !2970 (merged).
These are the same changes and can be tested with the same steps, just use 13.12
anywhere 15.2
is referenced.
Edited by Sarah German