Re: [Maria-discuss] 10.2: https://mariadb.com/kb/en/library/defragmenting-innodb-tablespaces/