ghci: old alias removed
ghci: sleekier prompt