IRC to HTML converter
 
      This is really just a convenient web-form exposure of the
      built in PHP function htmlentities(), called
      twice.  (50K max)