Обнаружена проблема.
По какой-то причине в Setup -> Media Settings -> Videos Settings -> File Types запись для avi в поле Extension: была отмечена Use default player.
I не проверял его, а затем в поле Command: я ввел Internal. Абсолютно каждый другой тип файла использует «Внутренний», поэтому я предположил, что это нормально.
Теперь он работает. Я не знаю, почему файлы .AVI имели другую настройку, но, тем не менее, так получилось, я думаю, что у проигрывателя по умолчанию были проблемы с каким-то кодеком или с чем-то, с чем хорошо справляется Внутренний игрок.
Альтернативой является Recoll. Как только он индексирует ваши файлы, он находит соответствующие файлы довольно быстро. Также выполняет поиск внутри ODS, ODP и PDF. Хорошо работает.