Diff texinfo-7.0.93 with a texinfo-7.1.1

Thank you!