GitHub survey finds nearly all developers who use GitHub also use AI coding tools. That's a far cry from "all developers".