I understand your preocupation...
Regarding my comment, it was just a rhetorical question, asking for the respective ISO permits, if he had been the owner of them so as not to have problems.
And if by chance, that encoded version had been carried out, it would have been published in another...