gitweb: Remove excessively redundant entries from git_difftree_body