Small changes to the documentation to include MariaDB.