Board Thread:General Discussion/@comment-3271569-20130610123937/@comment-3271569-20130611164915

I think it's an combination of function. I found this and it seem it's an LilyPond extension. But I can't find the location of the badges.