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