Hm. I'm not sure. If anybody has an idea of how to do this -- infer the locally installed info file from the URL -- and thinks this is worth it, the . . .