Diretor da DigitalOcean Warren Adelman vende US$ 520.854 em ações