[Git][ghc/ghc][wip/romes/edsko-exceptions] docs: toException shouldn't insist on empty context