Shall I just remove it, given that 1. Nobody uses it. 2. It will not be implemented in the Qt frontend.
I understand the reasoning for (2) and probably agree with it. Executive summary: we have ps and kill for that and shouldn't replicate system tools for no good reason. -- Angus
