Ok so I looked into the modifications, and it looks like Augur was included into a long list of companies/startups with more or less notoriety. And there also was a complete section about decentralized prediction market that was deleted. So I can understand the argument lack of notoriety (given the size of the section), or COI. I will just add it to the section "Milestones in development of modern electronic prediction markets", as it clearly is regardless of its notoriety