[Maria-discuss] InnoDB defragmentation