Alternatively, they're not doing a good job of detecting bots and much of their developer number growth is just bots opening issues and selling stars.