kpreid comments on RIP Doug Engelbart

[kpreid]

His name is misspelled in the title of this post.

[Dr_Manhattan]

thanks, fixed!