XIAO RP2040 Schematic appears incomplete / outdated

I had the same problem with the Wiki link a couple of days ago, but I just now checked it again and: Taa Daa! It’s better.

(As a new user, I can’t upload the file here, but the last time I checked, the file is XIAO-RP2040-v1.10-SCH&PCB.zip)

Version 1.10 shows a GREEN LED with signal named “USER_LED” that is connected to GPIO25, consistent with the definition of LED_BUILTIN in the variants\Seeed_XIAO+RP2040\pins_arduino.h file.

A “Blink” sketch that wiggles the LED_BUILTIN pin does affect that LED. (Low turns it on and high turns it off, as expected.) When I “Serial.print” the value of LED_BUILTIN it shows the correct GPIO pin number: 25.

However, I still see a problem with the two BLUE LEDs, which are shown connected to signals “TX” and “RX” that are connected to GPIO pins 0 and 1 (Arduino pins D6 and D7), respectively.

Now, here’s the thing: I can wiggle pins D6 and D7 from an Arduino sketch (observed on a 'scope, or with external LEDs connected to those pins—through appropriate resistors), and I don’t see any effect on those two LEDs.

Bottom line: In case any Seeed support people monitor this forum, I echo your question: Is it possible to get the latest, correct schematic?

Regards,

Dave