Same as for Hoogle.