Your point is well-taken, but I think that Symbolics is now defunct? Granted, the copyrights don't vanish, but who knows where they transferred to, if anywhere.