Not sure how you define "success" here. Is Bonsai used much outside of Jane Street?