This is a good observation. Antirez is one my favorite authors and software developers. I'm 100% sure he could have made the same Redis PR and ds4 (or something else) without LLMs in about the same time with the same quality or higher.