I noticed that our copy of docstrings.lisp has diverged from SBCL's over the years. Does anyone have a qualified opinion which is "better"? As SBCL is hardcoded in the Makefile anyway why not just remove our own copy and rely on SBCL's version?