jameysharp commented on issue #5462:
After asking around: how would you like to open another PR to delete this code again? See #5463. It'll be a nice cleanup. There are probably other unimplemented instructions that we should delete too...
Last updated: Jan 11 2026 at 07:05 UTC