! Copyright (c) 1990-1997  Michael Sandrof, Troy Rollo, Matthew Green,
! and other ircII contributors.
!
! All rights reserved.  See the HELP IRCII COPYRIGHT file for more
! information.
!
Usage: SUMMON <userid>[@<server>]
  Summons a user to irc.  The user currently must be logged into
  the server machine for this to function.
  Most irc servers do not have this feature, so don't be 
  surprised if it doesn't work.
