Девочки писали :-)

Разбираясь с фотографиями с телефона невестки узнал, что теперь айфоны хранят фотки в формате HEIC. Ну HEIC, так HEIC, стал искать конвертер в ЖПГ. Гугл предлагает кучу онлайновых, но мне хочется просто отдельную программку. PSP, кстати, понимает этот формат, но по умолчанию выдаёт не очень хорошее качество при конвертации, особенно если потом из полученных картинок делать thumbnails. Вижу – предлагают нужную утилиту прямо на сайте Микрософта, значит относительно безопасно. Скачал Real HEIC to JPG converter, поставил, конвертирую. Сразу скажу – качество вполне меня устроило, но вылезла забавная ошибка(?).
Имена исходных файлов IMG_NNNN.heic, но в результате из IMG_0099.heic получается IMG99.jpeg, а из IMG_0100.heic получается IMG_0100.jpeg. Спрашивается – какого хрена?!