problem-reports: third party issues
Change the language around ports to encourage users to report issues with third-party ports to the right place.