> texi2html (this will imply registering a separate translation domain at
> TP),
As Patrice says, that doesn't sound right. texi2html is not (will not
be) something separate from Texinfo.
I guess that the best extension would be .pm for init files,
Sounds fine to me.
Thanks,
k
