[MariaDB developers] Re: [PATCH] MDEV-31872 Deprecate ENCODE()/DECODE()