3 ms·

Great article. It took them 10 months to successfully migrate! No mention of how many man-hours, but probably a lot.