Ouch,
I have messed up the TLA tree many times by trying to commit only the emulator changes. I guess patch-36 to patch-38 are mistakes. I hope I didn't mess the tree too much.
BTW, how exactly should I roll back a patch level ? Is the "tla replay --revers" plus "tla sync-tree" the right way to do? Does it undo "tla add"?