He’d still have over 1/3 of employees remaining but that would be cleaned up enough for me!
I meant cut 10% of the original employees each year. So start with 7500 people. Cut 750 each year of that original batch for 10 years.
Actually you probably don't need to cut them all. Definitely, cut all the ones involved in censorship. Unless there was a voice of reason in that crew, that was against it.