Eris can be a real bitch sometimes.  For those who haven't picked up on the
root of her name, Eris Discordia, just check out wikipedia and the general
annoyance that are us discordians (and our corresponding goddess, Eris).
The only way to deal with a discordian is to filter it, or ignore it.  I'd
stop feeding the troll with responses - trust me, Eris doesn't care about
plan9 or anything related to operating systems.  She's simply found yet
another mailing list to annoy and fill with garbage.