On the other hand, I think they had a dev or two on TC39. I remember it being mentioned in one of Andreas’ videos (years ago)