Actually seems to work!

[ircbot] / ledconfig.tcl

# Configuration for ledbot

set host chiark-tunnel.greenend.org.uk
set nick ledctrl
set ownfullname "activity LEDs"
set ownmailaddr ijackson@chiark.greenend.org.uk

source ledmodule.tcl