Theo de Raadt summarizes the OpenBSD IPSec "backdoor" situation