User blog comment:TheSimpsons/How many badges have users earned in a day/@comment-1996889-20100731145735

Speaking about badges, does the "10.000 lucky edit" badge exist? If it does, has anyone got it yet?