It’s possible this one slipped between the cracks - I’ve seen a lot of namespace issues being fixed in other threads, and I don’t think you’re being singled out specifically
I did see some discussion in this thread about non-default names, and that seems to be resolved, so hopefully yours can be too.
Thanks for your patience, and for poking it again so politely!