Shut down agents such that REPL work can continue
Don't remove org targets / HTML anchors.