9b7f2c9976
Installing a file into a remote repository is an exceptional case, don't default to the remote repository when dropping afterwards.