Kai Seidler has posted a HTML version of the helpfiles at http://irc.fu-berlin.de/irc/help/