ProcessManager: more documented
ProcessManager: documentation fix: new() doesn't return existing/new