For administrative reasons, I had to rename my workspace directory. I did a <Clean>, and nearly everything works properly.
The one exception: setting breakpoints. Part of KDS is still trying to access the old workspace directory: when I try to set a breakpoint, it prints on the console:
No source file named /Users/<old project directory>/bring_up/source/bring_up.c.
... and although KDS displays a dot on the appropriate line of code, the breakpoint is never honored.
How can I inform KDS that the workspace directory has moved?