Removing a registry

See the discussion here: