On Mon, 3 Apr 2023 at 21:44, Josef Friedrich <josef@friedrich.rocks> wrote:

diff --git a/manual/luatex-backend.tex b/manual/luatex-backend.tex

can you attach a patch file ?

luigi