I might be wrong but... if a user has a package from Extras installed and a new version is published... won't the Application Manager call for an update no matter whether such package is in user/ or not?