[GHC] #13456: GHCi run commands that are not documented in Users Guide Documentation