Ah please help us by submitting a PR! I noticed the rust build failed last night but didn’t get a chance to look into it