Or, as I found out, if you have the developer key on a pen drive, you can boot into debxo from that, and copy develop.sig into /boot/security/, and have security enabled and debxo at the same time, should you want to. Thanks, all. I'll see what I can do about creating a wiki page if there isn't one already.