HR will prob just be like, “Tell her it bothers you.” I just recently was switched to an HR team (even though I am not HR) and basically they just tell people to deal with their own problems when they are low level like this. But yeah, this person just needs to chill.