IntelliJ IDEA Pro Tips: In Editor Diffs for Git Annotations