Dr_Manhattan comments on RIP Doug Engelbart

[Dr_Manhattan]

thanks, fixed!