If humans can find (and have been finding for millennia) new proofs for well posted math problems, I see no reason why they shouldn’t be able to implement a more performant fully featured version of an existing interpreter.
“Systematic deliberate targeting of children as policy”.
I don’t see why this is controversial.
Pro-Palestine people have seen the overwhelming field reports that prove this and Pro-Israel people actually are in favor of targeting these kids because they might grow resentful of Israel and join Hamas.
The good thing is that cursor has no network effects. you could make your own (barely usable) cursor on top of vs in a weekend with the features you want.