Context: https://github.com/JabRef/jabref/pull/12990 I would like to search for the "important" modifications and hide some. I imagine a check list of [all refactorings](https://github.com/tsantalis/RefactoringMiner#supported-refactoring-types), which I can toggle. If on: show in diff overview, if off: do not show in diff overview. 