puppet is not mentioned once in the article. It's called MEATPISTOL, which is a obviously a codename. Also this is Defcon.