Updating tool-openocd-raspberrypi

Hey, looking at PlatformIO Registry, there’s been no update to the package for a year, but there’s lots of cool new things in the actual repo at github.com/raspberrypi/openocd

I can’t find the appropriate package.json for this package. How was it built? Is there anything I can do to get a new version published?