[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2707: Merge import of MySQL man pages, help tables, and install documentation into trunk.