We should probably also document the deactivation wire format, as simple as it is. :)