Texinfo 7.3 released

Version 7.3 of Texinfo, the GNU documentation-formatting system, has been released.
It contains a number of new features, performance improvements, and enhancements.