Trying to get rid of annoying false-positive diffs-from-HEAD.