https://raw.githubusercontent.com/debian-tex/texlive-bin/master/debian/patches/spelling_in_manual_pages I finally managed to apply these patches (r64247), and send upstream where needed. Thanks again. -k