290671cc3b587a8ea223de631e2606f31b21504af204a7ab0cefa5f46aa37662  screen.texinfo.typofix.diff