ProcessManager: more documented