We have an ongoing conversation regarding renaming and rebranding the

previously we had considered some domain names

There are some local resource for branding work which we might consider...

There are a few somewhat relevant existing wiki pages...