[PATCH] Documentation: describe git extended diff headers.