Also added a warning in `.ghci` in the form of a comment discouraging
people from overriding local REPL configuration options