[Git][cmucl/cmucl][master] Update with new docstring