Deleting now-unused DeviceSecretManager