I don't know how to delete the topic as I found the answer.
"Whenever I chose "Manual" for changing the proxy settings, as soon as I entered anything in the "Proxy host name" field, the "Save" button became grayed and wouldn't allow the changes to be saved. However, I fiddled with it a bit, until I accidentally found a solution. After putting 2020 in the "Proxy port" field, it occurred to me to change the value that I had already entered in the "Proxy host name" field. As soon as I placed my cursor back in that field, the "Save" button became white again, allowing a save operation. I experimented a bit more, and discovered that this form insists that the proxy port be specified before it will allow the proxy host name to be entered. If done in that order, it works like a charm."viewtopic.php?p=80576#p80576