OpenBSD’s De Raadt sings Stallman blues