This is my first time configuring my Arduboy when I came across an issue I am having. For some reason, I cannot select a 'Port' in the Arduboy IDE program. I selected "Arduino Leonardo' as the board, but the port is 'greyed out' and I have no options to choose one. Also, what I think is related to this is that on codebender.com, it also says 'no port detected'. Please let me know if you can help me to understand this situation in any way. Thank you!