Fedora 30, Arduino 1.8.10, on Teensy 4.

I'm doing some prep work to replace a Teensy LC which I've been using as a convenient tabletop IR remote for a video switch on my desk, with a T4, but I'm...