01_texinfo_node_menu.diff 02_direntry.diff 03_file_encoding.diff