s3:registry: streamline reg_deletekey() somewhat.