It should also try to get the proxy from the users session, probably by seperating synaptic into frontend and backend
It should also try to get the proxy from the users session, probably by
seperating synaptic into frontend and backend