Currently we have three badges: red-philip, green-philip, and purple-philip. Each should be given a meaning, new ones proposed if necessary, and assigned to authors.