[MariaDB developers] Re: On the question on producing bintars going forward