I've been assuming that, because like you, I have not read anything to suggest different versions. Only newer or older.
[edit]
OK, a little bit of liney uppy with the screenshots concludes the following...
Cart Detect has a pull down resistor to GND and is connected to pin GPIO33 on the ESP32.
The button is a normal (normally off) button connected to GPIO1 and GND.
There should be enough space to add a resister on the chip side of the board, given that it needs the height for the chips and the SD holder.
View attachment 443836
Now, someone needs to dare to try it...