Ways to use
The recommended way to use General is…
@todoc Talk about open General.Abbr, says that General.Standard exists as well, and that General can be used without any open if required.
@todoc Add a note about our strategy of reseting Pervasives. Recommend using tag nopervasives?
