Hopefully! Turns out 75% was of four total developers. Ideally Google would be giving them enough to re-hire three people.

Source: https://adams-morning-walk.transistor.fm/episodes/we-had-six...