s3:registry: when deleting the records for a key, also delete the sorted subkeys...