The (abridged) story of Infocom: