Комментарии на kinozal-zerkalo исправил. Большое спасибо. Всем приношу свои извинения.
Вероятность модификации файлов провайдером и бы оценил как ничтожно низкую. Для это нужно чтобы провйдер с самого начала подменил сертификат сайта, а пользователь проигнорировал страшные предупреждения браузера, нашел и кликнул внизу маленькую ссылочку «все равно открыть». Скорее пользователь сам когда-то что-то поменять и забыл. Ну и некие единичные сбои тоже не исключены. Прокси такой же компьютер как и остальные. Всякое случается.