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.