On Fri, 18 Jul 2025 at 14:32, Sebastian Wittmeier via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> Hosting and distributing the papers as downloadable .zip file, even if separate from the program, is redistributing.

This program wouldn't need to do that. Such (albeit .tar.gz, but close
enough) files are already there on open-std.org.