no.
Right, we do have a policy against naming real public figures. It seems this one didn't get caught, but I will remove the nickname for future versions. Thanks for notifying!