@UserTrue В принципе хороший метод если точно известно что текст на всех страницах стандартизирован и ничего лишнего там появляться больше не будет. Помню столкнулся с похожей проблемой где текст заполняют разные пользователи и почти каждый добавляет в разметку чего - нибудь своего. В итоге код который заменяет определенные символы на другие разросся на столько, что решил забить и сделать как описал выше. Но если известно что там только этот символ, то тогда этот метод будет лучше.
Создать ресурс к примеру "Use proxy", в нем сделать списком выбор "Yes" и "No" ну и внутри скрипта сделать условие если ресурс этот равен Yes то использовать прокси, если No то соответственно нет.
