Add final touches to improved extraction-diff output.