I think a rule about harassing players should be made. There's currently no rules on stuff like this and if any player was to be harassed then they'd not be able to get the other person sanctioned.
The rule of being a nuisance has a flaw as it's not clear if it's about player or players