latex-encode-named-characters.patch
