Re: txi-pl.tex and 8-bit chars

[Karl Berry]

    \def\fontprefix{pl}

I see, thanks.

    with Texinfo sequences, but they appear so often that using this
    approach will make any text impossible to edit. 

I was only thinking about changing them in txi-pl.tex, just to minimize
the number of 8-bit characters in the distribution.  Do you think that
would be ok?  I guess it would disallow hyphenation in those words, but
I doubt those keywords get hyphenated much anyway.

Thanks also for the revised patch, will take care of it ASAP.