Did the same thing today - broke the IR connector. As you said - not a big deal. And Fortunately I have a Flirc so can keep using IR anyway (to control Kodi for example) so no problem at all. The connector on the board came off completely. The wired end is still intact - I just left if dangling as it didn’t seem likely to move and come into contact with anything.