don't remove files from history for which there are still favorites