Re: [GHC] #8193: document :kind! in ghci built-in help