(Maint) Remove dead port code

The port code has been commented out and unmaintained since 5d2f95 (~7 years
ago).