Revert "texinfo version bump to 5.0"

This reverts commit 184b244a3579bb38964ef5565b1ed3d5545125f3.