yesterday I got my RAK Discovery Kit 2 with RAK2287 and RAK2003 Pi HAT v. B included. I am wondering why there is a seconds GPS-Module on the HAT since the RAK2287 has it own one. So in sum there three antenna connectors. One for LoRa, one for GPS on the RAK2287 and one GPS on the HAT. What are the differences of the two GPS sources? When should I use both sources? Maybe it does not matter which one I choose ?