Move my UTF-8 extension into a separate file and
declare it as `not part of the texinfo project', but use it anyway.
Thanks. Frank M. told me he is ok in principle with making it available
under the GPL, so it can be incorporated in texinfo.tex. We're working
out the exact details ...