Upgrade section in the menu of the site (still) links to an old upgrade document. Let's link it to the upgrade document in the repository instead.