Trump also already sanctioned Justices from the ICC based in Netherlands because he didn't like them.
He's clearly not the guy with impulse control
Still though, that is about 10 percentage points higher than before Trump took office. Better not to hand him too many tools to exert leverage with.
In the long term, I think this was actually really expensive. People talk and worry about this, and as a result of this (and similar developments) general consensus seems to have shifted towards preferring EU companies over US companies for tech. That used to be the exact opposite for as long as I can remember.