This should be near the upgrade chapter in a section dedicated to troubleshooting because it relates to issues happening during upgrades / updates. Some investigation is required to figure what If the binary file name has been changed during the update means as well as go to the admin options.
