Merge pull request #8757 from bbodenmiller/patch-1

formatting cleanup on mysql_to_postgresql.md