Ungraded Kernel package.

  - Fixed handling of "~" in archive sources.
  - Swallow errors raised when moving objects during installation.
Updated the docs.