[Git][ghc/ghc][wip/andreask/ghc_rts_K] RTS: Document -K behaviour better