Ok, good to know.
The surprising thing was the play/stop disconnection, but the other things I´d see as an feature, because playing while being aware of them can yield some cool stuff.
However, I´m not clear on WHERE the settings are that gives this behaviour, if I want to re-establish them in another project. They´re not as default apparently, as I tried it directly when I created an new project (= trig buttons didn´t mute the tracks if held).