[m-rev.] for review: io.file.m

[Julien Fischer]

On Mon, 7 Mar 2022, Zoltan Somogyi wrote:

> Carve io.file.m out of io.m.
> 
> library/io.file.m:
> library/io.m:
>     Move two sections of io.m, the "file handling predicates" section
>     and the "handling temporary files" section to the new submodule io.file.m.
>
>     Leave behind in io.m "forwarding predicates", predicates that do nothing
>     except call the moved predicates in io.file.m, to provide backward
>     compatibility. But do mark the forwarding predicates as obsolete,
>     to tell people to update their (at their leisure, since the obsoleteness
>     warning can be turned off).
>
>     Also leave behind in io.m the definitions of the two types used
>     by some parameters of some of the moved predicates. Document the reason
>     why this is done.

That's fine.

Julien.