On Tue, Apr 20, 2021 at 12:29 AM Marcel Krüger <tex@2krueger.de> wrote:

The two diffs are attached.

Marcel

ok --- almost. I had to apply dos2unix to normalize the eof.

--
luigi