Ten years of Puppet installations: what now? Lessons learned, sane suggestions, outlook for the fut…