While anyone who knows how can do so by using IRC to chat, it would be beneficial to those with no IRC experience to be able to block individual players on in-game chat who are rude, condescending, arrogant, and otherwise anti-social jerks. This would allow players to continue to chat in #Global and #Veteran without having to hear from those who utterances do not improve anyone's quality of game playing.
Hey Boots! Thank you so much for bringing this to our attention. I will message you regarding this.
shows Foldit's in-game help.
It lists the following IRC Commands:
/ignore username
/unignore username
/ignore-list
After a little experimenting,
the following seems to be true:
/ignore-list
lists which users you are ignoring right now.
This list seems to be the same for Foldit's
Group, Veteran, and Global Chat channels.
This list can even contain users that are
not in your Group.
/ignore xyz
adds the user xyz to the ignore-list.