I like Pop!_OS and respect the work that's gone into it, but trying to get people to adhere to branding like that is an uphill battle. Perhaps Quixotic, even.
Something as simple as "Red Hat" gets turned into Redhat and RedHat even in publications that in theory should be doing better. To say nothing of social media...
I have spent more time than I care to think about on this issue as a writer, editor, contributor, etc. Projects could save a lot of grief with more standard naming.