how to handle git rm file? (should try to drop keys that have no referring file, if it seems safe..)

done -- I think that git annex unused and dropunused are the best solution to this.