Source and configured helm for searching hoogle offline