[tex-hyphen] Names of files in OFFO

[Arthur Reutenauer]

On Thu, Mar 17, 2016 at 05:32:55PM +0000, Philip Taylor wrote:
> Which many (perhaps most) search utilities and editors do not.

  If you say so.  What's your point?

	Arthur