Gamification—the use of game mechanics in the real world—remains largely a joke, often relegated to a bullet point in a marketing strategy or manifested as an ineffective experiment. Some might even call it bullshit. Sometimes, though, you see something noteworthy and interesting—and in this case, gamification has…