users_guide/ghci: Detabify