I haven’t looked into it, but I will. My only worry is that it will discourage many people from it due to political biases against the naming.