Doug Engelbart has died