Merge/update misc. old String docs into source

The attached .pdoc files contain the old documentation for
various String functions from the website's 1.6.0 API
docs (e.g., before the inline documentation). They need to be
updated and merged into the PDoc in the source.