Hoogle, gajim and ctrl-p