Re: [Hackage] #37: check to see whether we should be adding symbols to cpphs more often