[_pmf_]

But they told us that pulling in 1.6 GB for "Hello World" is normal and no big deal.