But it also doesn't jibe with the reported difficulty US tech companies experience trying to hire US developers.