FWIW I work on Pop OS for System76 and using the "proper" name doesn't really matter to us. I don't even use it myself, except when I'm writing technical, first-party information/documentation that needs to be part of our cohesive brand. In colloquial use, just call it Pop.