Вчера под вечер скорость на прокси значительно просела. Предположив, что в реестр попал какой-то высокопопулярный ресурс, я откатил PAC-файл на день назад. На данный момент скорость вроде бы в норме, по крайней мере прокси-серверы откликаются за ~300 мс, как и раньше. Если у вас всё ещё не работает, попробуйте перезапустить браузер.