Add a general `what ports exist?' question to the FAQ, so that the