[01:44] <dsmythies> GunnarHj: Yes, those yelp PPA's can be deleted. Thanks for building them and posting them a couple of months ago.
[03:24] <GunnarHj> dsmythies: Deleted the yelp-* packages in ppa:ubuntu-core-doc/ppa.