[m-rev.] for post-commit review: obsolete string.*codepoint*

[Julien Fischer]

On Wed, 8 Feb 2023, Zoltan Somogyi wrote:

> Mark string.*codepoint* as obsolete ...
> 
> library/string.m:
>     ... in favor of the s/codepoint/code_point/ versions.
> 
> NEWS.md:
>     Mention that these predicates and functions have been marked obsolete.
>
>     Mention that all the X_to_doc functions in modules other than
>     pretty_printer.m have been marked obsolete in favour of the versions
>     in pretty_printer.m.
>
>     Standardize on indenting lists of function and predicate names
>     by four spaces, not three. (There were more than five times as many
>     that were indented by four than by three.)

That's fine.

Julien.