Make diff highlighting somewhat more robust
Fix broken paths in new patches
Remove extra whitespace from links in patch list