First of all, I actually don't like relying on plugins too much. My theory is that the editor should come with all the functionality you're likely to want "out of the box", and unless I'm completely mistaken, this seems like something pretty basic which other people will want
Anyways, I'm not sure I properly explained what I was talking about. So just in case, I've added a screenshot showing the current dialog, and a screenshot showing what I'd like to be available:
As it is today:
It's not redundant at all, it fits exactly for people who sometimes want to not reload the files, sometimes want to reload their whole project, and sometimes just reload one file.