The hookup guide shown for this device points to the one for the USB Power Delivery board DEV-15801. The first datasheet (with the long name) brings up a document that doesn’t display. The schematic and second datasheet seem correct.
Thanks for the heads-up, we’ll get it fixed up ASAP!