Stick with Discord, or Switch back to IRC?