Hi,
I stumbled across this just this morning and thought I'd take a look.
However, trying to compile any of the included examples fails with the following message:
Arduino: 1.8.10 (Mac OS X), TD: 1.48, Board: "Teensy 4.0, Serial, 600 MHz, Faster, German (Mac)"
In file included from...