By the way - you're not stuck, you can kill your own bots with "halt and catch
fire" in the dialog. So it's not a blocker, hence priority -> "important" and
not "critical".