added ghci history; more to ignore