I am trying to get the TLA+ tools to run completely in the browser https://github.com/tlaplus/tlaplus/tree/master/tlatools