MrMind comments on RIP Doug Engelbart