Editing: snarf-check-and-output-texi.go