Help with PPI Example for BF592 EZ-Kit Lite

I'm trying to run the PPI example for the BF592 EZ-Kit Lite. I have followed the instructions in the readme file, but would appreciate some clarification on a couple of points:

- When setting up the clock, the readme states to connect a lead from "lead from interface P4 31 (PF11) to interface P6 16 (PPI0CLK)". I have connected a lead between Pin 31 of P4 and Pin 16 of P6. However, in the reference schematic, P6, 16 is labeled PPI0CLK, but P4, 31 is labeled UARTTX rather than PF11. Did I connect the proper pins together?

- Which Pin(s) of P6 do I need to access to observe the PPI data activity?

1] See the processor pins (on Page No 70). Signals PF11/UART_TX/SPI0SSEL4 appears on Pin No 13, which is just marked as UART_TX. So, depending PORTF_FER.PF11 and PORTF_MUX.PF11 bit settings, you can probe either PF11, UART_TX or SPI0_SSEL4 signals on that pin.