Thinking about it some more, we may be looking at it from the wrong angle.
We have reacted as potential *users* would. And clearly, a RP3250-based board would be no match for a Teensy 4.x. But people who want to get a Teensy, with its processing power, peripherals and support libraries can still get it from Sparkfun. It's not like they have disappeared.
From Adafruit's perspective, they want to replace a product in their catalog with another product they can sell. And I don't doubt they have enough business experience by now to at least be able to figure out what will sell or won't. My external perspective on this is that the average Adafruit customer may not actually need the processing power of a Teensy 4 and would be perfectly content as long as Adafruit provides sufficient libraries for the new board. OTOH, if they released a Teensy clone, they'd be dependent on all existing libraries for the Teensy and they may not want to have to bother contributing to these libraries (knowing Adafruit is quite active on the software side of things, contrary, AFAIK, to Sparkfun), given how things went both with Sparkfun, and indirectly with PJRC.
Contributing on the software side for the Teensy, which Adafruit would inevitably do as that's what they do for pretty much all their products, would likely be very uncomfortable given the situation. Because, while the hardware is not open, the software is (except maybe the bootloader, that they would likely replace with their own?). At least, that's the kind of mess I would not like to get into.
So, just a few thoughts. But OTOH, the reactions here were all natural, as they specifically asked what features people want. Maybe the thread would have been more fruitful to them if they had asked "what features do you want, given that our constraints are this, this and that, for this and that reason."
Edit: to be fair to them, regarding my last paragraph, they did at least give one constraint: $9.95 max (which I assume would be the retail price), which is pretty aggressive. There's no way you can sell a product at that price using a RT1062 or similar. So I guess that closes many doors and the only thing that remains questionable is calling that "teensy-compatible". (That might be possible using some chinese MCU, but as an american company that has most of its partnerships with other american companies, they probably don't want to take that risk.)