Update link to moved variables doc

This page was moved in gitlab!54174 (diffs), and then the redirect deleted just now in gitlab!64420 (diffs).

I forgot to update the link in the navbar though, and master is likely broken, so we should fix this quickly.