Document package-local-nicknames
When cmucl#415 (closed) is fixed, we need to document package-local-nicknames in the user manual.
Edited by Raymond Toy
When cmucl#415 (closed) is fixed, we need to document package-local-nicknames in the user manual.