Ref #87 Fixes to MySQL installation pages.