doc: update the latest MariaDB version