Merge the looking up of channel numbers for SSH-2 channel messages into
[u/mdw/putty] / doc / sshnames.but
2007-09-29 benNow that PuTTY is actually using names "@putty.projects...