Add a requested extension
Add a requested extension

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