[cmucl-cvs] CMUCL commit: src/docs/cmu-user (extensions.tex)