Well, this was too early. I watched a movie, and sometime later, the vero showed me the red light. So I rebooted, and disabled the plugin completely.
It crashed again. So I rebooted, turned on logging, rebooted, watched a movie (or rather: had my empty chair watch a movie), came back later and: red light.
The log is here:
https://paste.osmc.tv/eyogidajad
How can I use the vero without pulling the plug each time before a movie?