0001-texi-rename.patch
0006-Drop-SHELL.patch
