Chrome plugin using jQuery to filter diffs based on filename.