Diff texinfo-7.0.90 with a texinfo-7.0.92

Thank you!