Welcome to the Froco section of Robochurch, which provides tools for the IRC channel #froco.