Yeah. To me, I feel like Theo de Raadt is being a comedian here, and the joke probably went over some heads.