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/PxKw5YwThroughout 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".
