First I should mention that non-member postings to
Devnag-general at lists.sarovar.org are not allowed and wait for moderator
The same is true for tex-live (and all tug lists). Has to be that way
these days, as we all know ...
Is this OK?
It all looks fine to me.
Thanks,
Karl