Software-developer employment in the US has continued to increase this year (and has gone up markedly since ChatGPT became popular in 2022)