getting getmailrc right

Setup: OS ubuntu-20.10
getmail version 5.13
Installed using the apt installer

Hoping some experienced folks will look at this getmailrc file and
help me make sure it should do what I want.

I've numbered the line for easy reference and MUNGED a few things.

What I'm shooting for is to have getmail pull down my pop3 mail from
this server, delete the on server copy, and get all mail even if
already read.

Then I want getmail to pass the incoming mail off to procmail for
sorting.

finally I'd like all log messages to go to the file indicated.

PS Do I need something more in OPTIONS for getmail to collect ALL
mail? I understand something like that might be the default?

AND is the `arguments =' [line 11] line in the right place?

-------       -------       ---=---       -------       -------
When I use the getmailrc below it connects to my server but just hangs
there for eternity.  The only bit of log looks like:

$ getmail -vvv -a

  getmail version 5.13
  Copyright (C) 1998-2019 Charles Cazabon.  Licensed under the GNU GPL version 2.
  SimplePOP3Retriever:[email protected]:110:

I suspect this may be some kind problem at the server since fetchmail
acts the same way when I use it.

 1    [retriever]
 2    type = SimplePOP3Retriever
 3    server = pop.newsguy.com
 4    username = MUNGED
 5    password = MUNGED
 6    
 7    [destination]
 8    type = MDA_external
 9    path = /usr/bin/procmail
10
11    arguments = ("-f", "%(sender)", "-m", "/home/MUNGED/.procmailrc")
12    
13   [options]
14   delete = true
15   message_log = ~/t/var/log/getmail.log