[finite_jest]

I don't know, but Brendan Eich (Brave's CEO) [1] is pretty active on Twitter, and I think he used to answer the questions people asked. You could try asking him there. Let us know if you get an answer.

Also, I apologize for being a little bit too harsh in my previous comment.

[1]: https://twitter.com/BrendanEich