Otherwise known as “wait, you mean I can use the TLA toolbox from the command line?”