I was wondering if we can move dist installed tools to tool-shed version by installing them manually using the admin web interface. Do migration scripts provide any functionality that we would lose if we use admin web interface (dist_to_shed column in database and it's significance)? -- Thanks, Shantanu