What is the timing specification of the PPS (Pulse Per Second) output from the Teseo-LIV3R in terms of pulse width and/or duty cycle? I've reviewed the datasheet, UM2523 (ST Teseo III ROM binary image - User manual), and UM2231 (Teseo-LIV3 GNSS Modu...