The current state is:
To get Satellite 4.1 working you have to add the user (normally purism) to the geoclue group. This bad practice from a security point of view, but for GPS testing it might be handy.
To add the user to the geoclue group, do in a terminal:
sudo usermod -a -G geoclue purism
To remove the user again from the geoclue group, do in a terminal:
sudo deluser purism geoclue
Note that you have to reboot the phone to make changes to the groups where the user is in effective.
Make sure you have at least version 4.1 of Satellite installed.
You can start Satellite without any command line instructions via its icon, and it should work.
Unfortunately, Satellite confirms clearly for me that I do not receive any good satellite signals.
I’m reading about all the great navigation progress, so I will see if I can have the antenna connection fixed.