The wording got mixed up a bit. "Infrastructure" was a much larger organization, but there was an infrastructure team of about 12 people who worked on Magic Pocket at the time.

https://blogs.dropbox.com/tech/2016/05/inside-the-magic-pock...