No, he got a different job. It is much closer to his home (around the corner or down the street, according to our boss).
Follow up to the follow up: today, I’m working on a project that had been my former coworker’s. There are some glaring omissions and mistakes. Again, I’m glad he quit but it’s frustrating to be dealing with this.