0001-Drop-SHELL.patch
0002-Cherrypick-fixed-upstream-texinfo.tex.patch
