Feature summary:
Suggest usernames of users that have been part of the page history and more after pressing @ at edit summaries and autocomplete their pinging/mentioning.
Use case(s):
Sometimes when reverting you want to be able to mention in the summary the user whose edits you just reverted and explain the reason why you did so and offer some suggestions for improvements. Sometimes you want to mention multiple users in creating help pages to divide work. In all those cases it would be fruitful if we could have the autocompletion features that Discussion tools provide for mentioning users. The suggestions should start with the names of the users who have been part of the page history in chronological order, showing a limited number for pages with a long history, and be able to expand in all possible users if you so wish.
Benefits:
Summary mentioning is already a thing you can do manually. Providing automatic help on it would benefit everyone who's already using such a function.