Hi, a group of puppet users will probably be taking over maint of puppet. Please drop me a line if you're interested in helping out. Thanks to Matt for the great job he's done so far! Cheers, -Thom (not subscribed to d-devel, please cc me)