Reading the operating manual of the TEDD2-mini is write:
Three LEDs indicate sync status
as well as PPS activity
and:
You now have a choice to make about use of the AUX PPS/LED pad
but in the schematic is not drawn any connection for the two more led as in the
old version of the PPS divider.
I'm not in front of the manual or the board right now, but if you look
at the layout you will see two pairs of pads at the output end of the
board. If you look at the way the pads are physically arranged along
with the schematic, you'll see that you can either connect to two of the
pads to