Peg MariaDB to a specific version in docs