https://flasharmy.com.ua/en/vneshnij-gps-dlya-starlink is definitely not a device Starlink's ToS allows the use of. When Musk says Ukraine were hacking Starlink to override its policies, a change implemented by the engineering department to enforce those policies server side would easily explain the apparent confusion amongst all parties who seem to think nothing happened. From Starlink's perspective there was no change in policy, just a change in how it is enforced, and there's no specific reason Musk or POTUS would be immediately aware of that.