Yes I did:
/System/Volumes/Data/Users/arushgarg/Library/Arduino15/packages/teensy/hardware/avr/1.59.0/cores (folder contents shown in the attached image)
And then, I replaced the files in teensy3 and teensy4 folders with the files from this repo
I am trying to use XInput with a Teensy 4.1, and I cannot find XInput as the USB Type. I am using Arduino IDE 2.3.4, Teensy 1.59.0 Board Manager and XInput 1.2.6.
The XInput USB Type shows up for Teensy 4.0, Teensy 3.6 and some of the other boards.