I came here because the openocd that comes with Fedora 43 did not work with rp2350. But there are no clear instructions how to build the project.