I'm distantly related to the original founder, and have been told this confusing version of the story: Symbolics was bought out buy a different company that the

I'm distantly related to the original founder, and have been told this confusing version of the story: Symbolics was bought out buy a different company that then renamed themselves Symbolics, though none of the people remained and the new company just pulled government contract money for "maintenance." Eventually, the IP was owned by a single person named Andrew Topping, who was known to the rest of the world pretty much only by name; no one knows his history. Then he died. Now nobody has any clue who owns the IP, where any useful documentation is, etc...