"Table 3-3. Chip Boot Mode Control" in the ESP32-S31 datasheet states that GPIO60 and GPIO61 must BOTH be low to access joint download boot mode, but only GPIO61 is connected to the BOOT button on the development boards, while GPIO60 is pulled high. Is there an error, or am I missing something?