The documentation for BASIC mode does not seem to match when comparing the info in the pin function table and the strap configuration table for the LED0 (pin 30) and RX_D3 (pin 13) pins. What is the correct default state during reset and what values will get latched by the strap pins if no external strap is provided?
From Table 7-1
