[MariaDB discuss] Re: Replication corrupts index on InnoDB