And if that complaint results in the rule "no bots on IRC," she wins.

She has co-workers who are ignoring how their thoughtless behaviour is impacting her, even after she's told them. She'd be entirely justified taking it to HR, but instead she's social engineering a more subtle solution. Nice work!