ports にしょーもないバグを見つけた場合でも、send-pr すべきですか?