“Lisp Machine” (computability, Emacs; backlinks)