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