[jggimi]

The best place to take this would be the ports@ mailing list. Steven is still active there, as far as I know. You can let him know via your message to ports@ that your attempts to reach him directly resulted in bounced mail.