Just to share some info I learned offline for others who might be wondering:

Apparently in deep sleep mode, power is required on VDD_RTC and VDDA (pin 46).

Is VDD_RTC intended to be an "always on" supply for keeping the RTC alive when the rest of the part is in deep sleep? In that case, is the AMR/ROC value for VDD_RTC the same as the other power supply pins on the part? It would make sense, but I wanted to double check.

What is the max current draw ...

It can boot from HSPI as well, if I recall correctly. Plus, you have the option of remapping pins after boot. I think you can even remap some _before_ boot, by using the efuses, but that's not documented yet.

I'm hoping for VSPI here -- HSPI gets in the way of JTAG. VSPI doesn't interfere with ...

Can the ESP32 boot off of any SPI interface other than SPI (e.g. HSPI, VSPI)? The reason that I ask is that if not, and maybe I'm missing something here, it doesn't appear that there's a pin config that support SPI boot, SD, and JTAG access.

Using the function 5 values for SD_*, MTDI is shared with ...