If you replace the Teensy 4.x it would have to be something very close to the same pinout, foot print, cost and features otherwise it would just be a new product. Ideally you would find a way to source the Teensy directly bypassing Sparkfun.
Yes, obviously, but they don't make the chips, so can't you just source the exact same chip, make thing pin compatible and call it a day? Then you'd have a drop in replacement, any changes you make will cause disruption for people downstream.
