meta/pkg-push: fix typo
raco pkg show: note when auto-installed packages are not shown

Otherwise, imagine uninstalling packages without `--auto', using `raco
pkg show' to confirm that none are left, and be surprised by a later
error about installed packages.
make site: fix PDF doc link
meta/pkg-push: extra dependency note