So, as it turns out, the ESP32 supports the ability to route any GPIO to any physical IOx pin... at least... that's what I understand from trying to figure out the SPI pins.

That means that my symbol is kind of lacking, and so I've revamped it:

As you can see, I've also started lining up the pins I need, and I only have 6 - 7 pins left for I2S (depending on if the ADC gets its own clock or not), 2 displays and an addressable RGB pin. The 8-bit shift register might make a comeback.

I've decided to expose both I2C channels for versatility (such as reducing traffic on an I2C bus), and to allow me to support communications with 4 Toshiba HDMI->MIPI chips for #Leti.