o Document :CASING parameter for STRING-UPCASE, STRING-DOWNCASE, and
STRING-CAPITALIZE.
o Document how STRING-TRIM and friends handle the character bag
argument when it is a string.
o Document that the reader converts symbols to NFC form before
interning it.