[Hackage] #247: Needless license warning on PublicDomain