That’s the trouble. Frequently this kind of merely annoying behavior is allowed to continue because nobody says anything because he’s not a bad guy. HR/the boss may not even realize it’s impacting work. You’d be shocked what people have gotten away with because ‘they’re nice people’.

part of their job is to smooth out these issues- there’s no reason to be aggressive about it, but if it’s impacting work, part of their job is managing it.