Re: VM-BUG: vm.texinfo missing?