"HAL, huh. Any Daves gone mysteriously missing?" Look, the joke was there. She had to make it.

She frowns. "Gotta wonder what made him get into the whole 'ending the world' scene. Tired of boring old conventional reality? Decided it'd be better to just replace humanity entirely instead of just augmenting it? Or maybe he just discovered he'd rather hurt people than help them."