Karl, sorry for being so annoing, but would you please reconsider the current state of the web2c documentation (#5337) 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 wdyt? -- Staszek Wawrykiewicz StaW at gust.org.pl