Could you cc the issue in the rust repository here as well?