Diff texinfo-7.0.92 with a texinfo-7.0.93

Thank you!