It does seem to be a coincidence. Or, perhaps that was chosen as the starting point, and after several rounds of focus groups, they settled on what we ended I’ll with.

I downloaded a copy of the album art, loaded it in GIMP, and used the color picker, and it considered that 89cd00. According to multiple sources online, it is officially 8ace00. Then, I compared those to a few possible 1337speak variations of the word “baddie”.

Image