How do I set the POP3 server port number in Netscape Navigator?
The trick is to add the port number after the server name with a colon. For a standard configuration the server name would therefore be 127.0.0.1:9999 and you’d change your username as described elsewhere in the K9 documentation. Here’s a screenshot of Navigator 4.80 showing the preferences for an email account.