Default supl.nokia.com - gps.conf (Port ?)

Today I read about the file "gps.conf"


On my PACMAN ROM v22.3 it looks like this :

NTP_SERVER=europe.pool.ntp.org
XTRA_SERVER_1=http://xtra1.gpsonextra.net/xtra.bin
XTRA_SERVER_2=http://xtra2.gpsonextra.net/xtra.bin
XTRA_SERVER_3=http://xtra3.gpsonextra.net/xtra.bin
SUPL_HOST=supl.google.com
SUPL_PORT=7276


Now I read about supl.nokia.com and how it would improve gpsfix. I also read it works on Samsung and LG.

Does anyone dare to explain why this is considered to be "better" ?

I found this (for Samsung)

SUPL_HOST=supl.nokia.com
SUPL_PORT=7275

and this for LG p920 :

SUPL_HOST=supl.nokia.com
SUPL_PORT=6

What is it with the ports ? Any answer is welcome