Yup. that's one of them. I've been in a few other Zulip chats with them and a phone call or two.