It's clearly not a satanic pentagram but apparently some sort of authors inside joke. Sure, it's based on it, but as you can see there's more elements added https://imgur.com/PxKw5Yw

Throughout history five pointed star or its variations have been used in various cultures, ideologies etc. so I don't see it as a "deal breaker".