[Git][ghc/ghc] Pushed new branch wip/jeltsch/pipeline-interruption-doc-fixes