I wonder if you could do the same thing in reverse and have a cheap way to get multiple inputs. I would love a cheap way to add 8–16 inputs to my PC; all the audio interfaces I found cost quite a bit.

The ADCs on RP2040/2350 only have 12 bit resolution.

Yes, but this project doesn't do anything analog to begin with. It could just have several S/PDIF and I2S inputs, and convert that to USB. You probably don't want any processing then, and just pass the digital inputs straight to USB. The limit of how many channels you could simultaneously process would then be the USB bandwidth.

Even worse, the ENOB is closer to 9 bits in testing. It’s got horrible DNL/INL. Totally worthless for any audio unless you’re trying to do chiptunes or something.

FWIW, this project is entirely digital (audio in: USB, audio out: S/PDIF or I2S).

There are other projects for the Pico which implement S/PDIF in.

In either case, since it is digital, the quality (or lack of) of the internal ADCs should not matter.