> .... Has anyone used PPP on this port?

Yes. There's a beta-version how-to in my home directory on puma:
ftp://puma.bevd.blacksburg.va.us/private/wrstuden/ppp.setup.tgz. Note
that you won't be able to ls in "/private". That's ok.

> Also, I'm interested in helping with the port.

Cool. There's much to do. :-)

Take care,

Bill