Thanks to meretrix for reporting - ignore the **/*.txt files in /usr/share/hoogle-4.2.29/ghc-7.8.0.20140228/databases/downloads/hoogle - only use the **/*.hoo files if there are any. TODO: consider having an opty to convert these .txt files to .hoo files.