After some time I decided to try to send a patch for this.
As for what it is, check the source :)
Or read this short documentation string for the new abbrev-suggest option:
Non-nil means we should suggest abbrevs to the user.
By enabling this option, if abbrev mode is enabled and if the
user has typed some text that exists as an abbrev, suggest to the
user to use the abbrev instead."
You can also read this thread to get the background:
The recent discussions can be found here:
If this patch looks good (a lot of changes has been done as per the discussions with Eli, Stefan and others in the threads above, and I hope I also managed to use the correct format for the patch), I'd be glad if someone could commit this, and I will get started on the changes to the Emacs documentation as well. I have signed papers before.