Should we be able to do this now or do we have to jump out and use GDB directly with openocd?
Currently debugging is not implemented in Workbench.
Cool. I’ll stop trying to find that then. 
Given that I have an elf file, and openocd is configured properly and platform.io supports the nrf52840, I wonder if there is a path to use their debugger in the short term. Compile and download using workbench and then use platform.io for debugging?