Patch and diff mean the same thing in this context, AMHA the original translation is a legitimate clarification. But guy does work better.