problem-reports: third party issues

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