Data.List: more documented
ProcessManager: cosmetic change