would prefer the name #raw_profile_registry. A profile is by definition top-toplevel.