docs: drop page headings duplicated by the wiki title
docs: split MySQL setup into per-platform pages