[Bug 916186] texi2html output changes randomly