Pkg docs: fairly complete documentation for the new Pkg [close #4407].