While not necessary for most tools, you may want picotool as an alternative way to dump binary data from the board. These dumps can be created with gp2040ce-binary-tools natively, but having an ...