server: improve html header, cut parts of xml trees when computing diffs