OS X: de ipfw a pfctl: reenviar los puertos 80 y 443

Encontré una manera de reenviar los puertos 80 y 443 a otros puertos arbitrarios (3000 y 3001 en mi caso) usando ipfw. Pero ipfw está en desuso y se reemplaza por pfctl. Aquí están mis declaraciones de ipfw: sudo ipfw flush sudo ipfw add 100 fwd 127.0.0.1,3000 tcp from any to me 443 sudo ipfw add...