OS Docs: Add some thoughts about IPC