error: patch failed: manual/terminal.texi:50
error: manual/terminal.texi: patch does not apply