Ward Christensen (of BBS and XMODEM fame) has died