[MariaDB docs] Re: Contributing to MariaDB Community Server