Why aren't inferiors deleted on exit or detach

Hi

I've been struggling with the issue of when to delete inferiors, as I'm 
working on remote follow-fork.  It looks like inferiors are kept around 
after a process exits or is detached or killed so that the user can 
switch to the inferior and run it again.  The argument vector for the 
inferior is kept intact on exit/detach/etc.

Is my understanding here correct?

With "follow-fork parent" and "detach-on-fork on", GDB does *not* keep 
an inferior around for the detached child.  My guess is that this is 
because the child inferior would just be a duplicate of the parent inferior.

Correct?

Thanks
--Don