I am looking into some issue I have with an Arduino and while looking at the Arduino plugin configuration I noticed that one of my boards lists the same pin multiple time. See the image below. Everything still works as expected and after turning off and turning the plugin back on I only see each pin listed once. I figured I mention it anyways.