Rewrite names to be semantically correct
Rewrite names to be semantically correct

BartAdv/hoogle,wolftune/hoogle,BartAdv/hoogle,ndmitchell/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle,ndmitchell/hoogle,ndmitchell/hogle-dead,BartAdv/hoogle,BartAdv/hoogle,wolftune/hoogle,ndmitchell/hogle-dead