An IRC chat plugin for the RSBuddy platform