dvi inverse search stuff

[Alfredo Braunstein]

JoÃo, it would be asking too much to repost an updated version of all your
pending patches?

I'll apply non-controversial ones and ask for advice on the rest.

Thanks (and sorry for the delay), Alfredo