Some IRC-related utilities, for personal use