And your suggestion is reasonable.
(Thank you whoever re-filed this thread in the Editor subforum. Don't worry, we're used to it -- why do you think we have moderators? No one will think twice, as long as you don't make a habit of it.)
Let's wait until Kovid has a chance to respond, shall we?

Perhaps the Differences window could be
closed (leaving the "No changes found" popup in place) in the event that there are no differences.