[Git][ghc/ghc][wip/jeltsch/pipeline-interruption-doc-fixes] Fix two issues in the documentation of pipeline interruption