diff-patch: Avoid emitting double-slashes in textual patch.