There is more if you search by the tag: https://archive.org/search?query=subject%3A%22Symbolics%22