[Spambayes] pop3proxy_port, pop3proxy_server_name and pop3proxy_server_port options

[Skip Montanaro]

    Tony> You should now have:
    Tony>   pop3proxy_ports: 110
    Tony>   pop3proxy_servers: pop3.example.com:110

What's the purpose of pop3proxy_ports?  Can the ports to listen to be
inferred from the pop3proxy_servers list?

Skip