Sylvain Henry authored Sep 15, 2020 and Marge Bot committed Sep 16, 2020

"ghci" as a flag name was confusing because it really enables the
internal-interpreter. Even the ghci library had a "ghci" flag...