And if you happen to be on a Debian system, you should be able to get an
unpacked source tree like this:
apt-get source puppet
or
apt-get source puppet/stretch
if you want a particular version, assuming you have the relevant deb-src
entries in /etc/apt/sources.list.
--
Rob Browning