That'll be the boring part of the story. I just /msged her primary nick and asked nicely if it was possible to stop. Apparently the threat of losing anonymity is enough to turn trolls back to normal people.
This is, in a nutshell, the secret of the internet.
The troll was never heard from again. He was made to "disappear" :D