[MariaDB developers] Re: b508107c7a3: MDEV-31631 Adding auto-increment to table with history online misbehaves