Are there stats somewhere about headcount in their different offices and how much they plan to move? I usually assume things like this are symbolic or tax related without actually resulting in a massive move. Maybe it’s answered in the article - I don’t have access.