Pkg docs: fairly complete documentation for the new Pkg.