I think we could just replace the handful of references to the pre-
ANSI CL "USER" package (resp. the non-standard "USER" nickname) by
"CL-USER". In particular we could get rid of the renaming exercise at
the beginning of maxima.system (not that I think this whole issue is
very exciting). Besides, for SBCL I forgot to preserve the "CL-USER"
nickname, anyway (while Ray did the right thing for CMUCL).
If this is OK, could someone please confirm that the "non-ANSI" version
of GCL has the "COMMON-LISP-USER" package with "CL-USER" as a nickname
(I have only the "ANSI" version around).
Wolfgang