Revert "prettyprint.config: string-limit? shouldn't be a global."

This reverts commit d33877a9416f978d6d093ab80817af50f1401372.