Do you really care that you made HR unhappy though? Fundamentally it does kind of suck to have to put up people in your environment who are "unhappy" with you,

Do you really care that you made HR unhappy though? Fundamentally it does kind of suck to have to put up people in your environment who are "unhappy" with you, or the fact that you snuck in there -- not because you don't belong there, but because of their own basic ignorance as to how things actually work. Not that you can't grit your teeth and live with it - it's a job after all, and that's what you get paid for. But still, it does kind of suck.