gjm comments on RIP Doug Engelbart