Editing: texinfo-filter.info