Dropbox’s Reverse Migration, Out of AWS, Five Years On