Eanble some 'hoogle data' functionality for 'hoogle convert'