How to set a proxy server in this extension?
What do I have to click to get a input dialog to set
proxy server name
proxy server port
https protocoll
usernanme
password

The helps starts with
How to Use
Proxy by Patterns...

I can use a proxy by pattern. nice. But the help shoudl start with

setting a proxy.
Because if I have no proxy, i can not select any proxy by pattern.