@bennyfactor I guess we knew it went back to Xerox PARC—but it's surprising to see one in the wild in a character interface.