[Maria-discuss] MariaDB 5.1 Reference Manual Introduction