[MariaDB discuss] Re: Adding an index to a large table