A little HTML cleanup on diff links