[m-rev.] for post-commit review: improve comments in string.m

[Julien Fischer]

On Thu, 22 May 2025 at 02:24, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> diff --git a/library/string.m b/library/string.m
> index f55b08475..475063841 100644
> --- a/library/string.m
> +++ b/library/string.m

...

> @@ -50,6 +50,7 @@
>  % This module is divided into several sections. These sections are:
>  %
>  % - Wrapper types that associate particular semantics with raw strings.
> +% - Identifying the UTF version used by the current platform.

s/UTF/Unicode encoding form/

The rest looks fine.

Julien.