GPS support in OpenROV Cockpit?


I’ve read in one topic here on this forum that the Trident’s topside emitter also contains a GPS receiver. … I couldn’t yet find anything to support that in the Trident’s User booklet or in the “OpenROV Cockpit” provided as pilot software.
Could someone give more info on this?