[tex-k] Bug in mf and tex

[Igor Liferenko]

Hi Karl,

> an open alpha_file could be (and indeed had to be) queried to get
> the filename

Now it is clear to me that it makes sense to discard filename from string pool.

> On the other hand, Igor's report about the original tex.web not even
> preserving non-canonical extensions did seem worth reporting

If filename can be obtained from file handle anyway, why bother keeping the
(nonstandard) extension. Instead, I have a question why Knuth does not
discard the
path to master file from string pool (for consistency with \input files).

Regards,
Igor