Open requested to merge barci2/ghc-dev:export-deprecation into master
This MR is an implementation of the proposal #134, as originally suggested in the ticket number #4879.
implement the simplest form of the warning without smart avoidance
handle all corner cases described in the proposal
update the user guide
mention the feature in the release notes