* Apply improved Texinfo markup patch from Dale P. Smith.