[tex-live] web2c documentation

[Karl Berry]

    we agreed there's no more ini* and vir* instances in web2c based
    distributions, so perhaps it is also good time to remove/change such
    items in the web2c.texi

I think it would be best if Olaf updated the documentation, as he's
obviously far more aware of what needs to be changed than I am.  (All I
did in that change was fix a few Texinfo niglets.)

That said, I guess I could work on removing ini/vir stuff in particular,
if Olaf wants me to.