Почему бы в его биографии это не указать??? А если бы рожденный в России человек, был бы ребенком вывезен в другую страну, поменял гражданство, и живя там  стал бы там энциклопедически значимым, то по Вашему в этом случае о его хоть и краткосрочном, но российском гражданстве даже и упомянуть не стоит???