В официальной инструкции есть инфа о том как преобразовать расширение с официального магазина. Но как конвертировать расширение с Github не нашел. Кто знает как это сделать ?
Создать ресурс к примеру "Use proxy", в нем сделать списком выбор "Yes" и "No" ну и внутри скрипта сделать условие если ресурс этот равен Yes то использовать прокси, если No то соответственно нет.