Puppetry Extensions

This is a complete shot in the dark here, but does anyone know of any extensions for Flash to help with puppet like animations. For example, WeFail said in an interview that they use a plug-in called INSTA-PUPPET to create their animations, but I can’t find that or anything else similar.

If anyone can point me in the right direction I would be eternally grateful :thumb: