Pkg: finally reproduce and fix long-standing Pkg.update() bug.

This is the isless issue that people have periodically encountered.