To be honest, I just copied that from some other site, because I can never remember how to pronounce that name.

I guess I would just spell out names the given audience is likely to mispronounce - although you could argue to do it with every name, like one newspaper always mentions who a person is, no matter how famous ("bla bla, Donald Trump, president of the United States, bla bla Joe Schmoe, plumber from Virgina")