from trunk. Original log message: Get the names of MAKE-STRING-PORT-FILTER and MAKE-CHAR-PORT-FILTER right in the documentation.