RIP Doug Engelbart — LessWrong