On Mon, Dec 19, 2022 at 1:51 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> It's really the limit for a single file
Oops, sorry I take that back. It should be per process.