This port got started but did not really go very far, and has since
been abandoned. Remove references to it. If it ever comes back it can
be included again.