openocd & pico development

Not sure where that info came from but we don’t have a forum specific to OpenOCD…just numerous posts over the years as you’ve mentioned :-/