Usage:
/KILL pid...
For each pid given, /kill terminates the corresponding process (/quote or /repeat command). The pid of a process can be determined from the return value of the /quote or /repeat, the /ps command, or a PROCESS hook.
Bug: /kill on a pending /quote ! will block until the shell process exits. The block can be broken with an interrupt.
See: processes, /quote, /repeat, /ps