Add ghci note