A tool for converting from old tabs to new tabs