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