On 13 Jul 2024, at 11:49, Marco Antoniotti <marco.antoniotti@unimib.it> wrote:HiThanks for the writeup. Apologies for the CDR-DISCUSS mishaps.I am one of the major polluters of the packages' namespace as I happily abuse :nicknames.I perused the specification, I like it and I agree with the comments, but I think there is an extra useful bit that is missing. I would like to be able to write(in-package "A-VERY-LONG-AND-HAIRY-PACKAGE-NICKNAME" ; This may even be a 'global nickname'!:as "HAIRY-PKG" ; The 'local nickname'.
)It seems quite natural to me. Did I miss something?