That is such an obscure reference that it is irrelevant.
If people had to spend time and effort worrying about every possible minuscule coincidence, we’d never get anything done.
Just because you didn't know it doesn't make it obscure. My family has deep ties to Lyon and I've known that name for a long time. Am I offended and do I think that they meant anything by it? No. Did it make me drop my subscription? No. Is it good business practice to take literally 2 minutes to google the name of something you plan to sell to consumers to make sure that it is not already the name of something potentially offensive? Yes.
Can you explain the difference? I'm totally open to changing my opinion on this, but in both cases it seems like just sharing a name with a very bad individual, which is probably true of most people if you look hard enough.
Edit: But on the other hand, it doesn't seem like people really care that much either way. Realistically, the only change they would need to make of they wanted to is to change the K to a C, just for clarity.
But of course people would still spell it with a K because people are Khadorable.
Haha definitely! And like I said, it didn't fundamentally change my buying behavior, but I can see how it would for someone.
The difference in this case is comparing "Michael", a common name across many languages (i.e. Michael, Michel, Mikhail, etc.) with no additional component to anyone else with that (or a very similar) name. At that point, you are as connected to Michael Scott as you are to Michael Meyers or Michael Bruce Ross. There just isn't really anything there.
In the case of the mini, you are taking two things: a name (admittedly common in the native language, but significantly less common in any other language) and a title or epithet (which even among relatively common ones, is still historically quite scarce).
The first case is just a big circle with everyone named Michael (or a derivative/alternative) in it and no two entities are any more closely linked than any other two. In the second case, you take the middle section of the Venn Diagram (People with a Claus/Klaus or even Nicholas/Nikolas name) and you get basically just your new proposed mini and a nazi (even extending your search to Nicholas or Nikolas gives you just a playwright who wrote a play about a Santa who hangs people from meathooks and a disturbed young man who killed his gf).
I'm really not one for political correctness, truly, but if your proposed product shares its name with basically only one other thing, and that thing is a nazi war criminal, maybe you just...don't?
TL;DR it's easier to find an Adolf than it is to find an Adolf Hitler. And maybe we just don't name stuff the same as nazis even if it has nothing to do with what we are talking about.
This discussion reminds me of the Christmas episode of Sword Art Online, especially the Abridged version where the (probably drunk) narrator offers his own commentary of the event's culminating boss. Episode 3 for both versions, if you want to check them out.