I checked his Twitter, Mastodon and blog. They all still say he works at Roblox, with no sign of having left. Where did you hear this information?