No mention of this in the article, but I know someone with starlink and the router received a dhcp lease with a /10 subnet (100.64.0.0/10). I’ve got no problem

No mention of this in the article, but I know someone with starlink and the router received a dhcp lease with a /10 subnet (100.64.0.0/10). I’ve got no problem with the CGNAT IP given, but found it odd the mask was a /10 and not a /31 normally seen in single device assignments like normally with PPP.