[Git][ghc/ghc][master] Fix two issues in the documentation of pipeline interruption