Here's an update to the mysql upgrade doc Francesco and me have written. Thanks for taking care of this, docs team! :)
Created attachment 68953 [details, diff] Update to mysql-upgrading.xml
Ok, fixed two typos and committed. Thanks for work, but in future please do separate patches for content and spelling changes, they really shouldn't be mixed in one commit.