Thanks

That thread is a bit confused, but I got enough tips to work out the answer anyway.

In my case I had local port 110 free so I didn’t need to mess with DefaultPopServer. All I needed to do was tell Avast the port number of the other proxy by putting it delimited with a colon.

It does seem to be a bug with the Mail Protection Wizard that it doesn’t configure this for you (in OE at least).

If before running the wizard you have:

POP3 server xxx.yyy.zzz
port 8110
username aaa@bbb.ccc

then it should change it to:

127.0.0.1
110
aaa@bbb.ccc#xxx.yyy.zzz:8110

but it only changes it like:

127.0.0.1
8110
aaa@bbb.ccc#xxx.yyy.zzz

which is wrong.