Dr_Manhattan comments on RIP Doug Engelbart