I am currently following the instructions for upgrading vBulletin to 5.5.1. I also checked in the included readme and the online help but could not find install/upgrade.php. I did find core/install/upgrade.php...