Re: [GHC] #10501: Exception in :cmd command can terminate GHCi