As workaround for missing GitHub review functionality, I open BOTH GitHub Diff and Refactoring Miner

Example: JabRef/jabref#13554 (commit JabRef/jabref@561acce)

I am on "JabRefGUI.java"

"JabRefGuiStateManager" is a new file.

Deteced as refactoring (which is great)

Gues which file is displayed by GitHub after "JabRefGUI.java" - and which file comes when clicking on "Next" on Refactoring Miner?

GitHub shows "JabRefGuiStateManager.java", whereas Refactoring Miner shows "LibraryTab".