I am on Starlink and when I was having problems activating I think I saw those links as well.
See my other post for what ended up working for me but unfortunately not for someone else who tried it who was having the same problem.
Good luck.
