RIP: Larry Tesler, inventor of copy & paste