0001-texi-rename.patch
0002-Drop-SHELL.patch
algol68.diff
