[server]
host = irc.libera.chat
port = 6667
nick = cockatric4
username = cockatric4
realname = IRC bot based on o3-base
channels = ##ingsoc