Wait, so Linus is really dead?