JVS — что за формат? Чем открыть файл с расширением JVS?

Файл JavaScript, автоматически осуществляющий конфигурацию веб-браузера для использования определенного прокси-сервера. Чаще всего встречается с расширением .PAC.