Synched doc.lisp and tweaked new :doc note-7-0 item about the elimination of sharp-comma-reader.