Re: [GHC] #12720: Remove ghcii.sh (was: Remoce ghcii.sh)