Merge branch 'mg/texinfo-5' into maint