docs; made ReceivePort.EOFException checked (thrown only by primitive channels)