On the wiki the planet is referred to as Hoxxes IV
https://deeprockgalactic.wiki.gg/wiki/Hoxxes
This doesn't make sense as it is orbiting the star Creus
This would mean it should be Creus IV with it's unique name being Hoxxes
Only its moons should be Hoxxes [number/letter] and not the planet itself
If the Hoxxes we're diving on is a moon of a planet it would invalidate the info on the wiki page and it would be inconsistent with the lack of a parent body visible ingame (and then it should have a unique name because who wants to mine on "generic planet's moon 51294321")
Am I reading too far into a miniscule unrealistic detail or did I just discover the greatest plothole beside Karl?
Rock and Stone!
Edit: Thanks for my first big post (and thanks to the dev for responding!)
I wish you all a Rock and Stone!