"""Core IRC bot code, extended by plugins."""