Ok, it makes sense. So I guess I must close the Teensy application first then I can Remove/Update/Install a package.
Now I'm back to my personal laptop (again, Windows 10, Arduino IDE 2.1.1) and if I retrograde to 1.57.2, tzz80-zexall runs fine on my T41 and I can see the zexall messages from...