>>>>> "Jeffrey" == Jeffrey Hutzelman <jhutz at cmu.edu> writes: Jeffrey> IMHO there needs to be a tool to convert back to the old Jeffrey> stash format. Managing a transition is much harder when Jeffrey> you can't back out the change if there is a problem. I'd like to see a much higher bar than on request for making this a requirement.