[Git][ghc/ghc][wip/amg/castz] 534 commits: Make GHCi commands compatible with multiple home units