All Symbolics documents are moved to bitsavers.org