• Org’s texinfo exporter
• Tracking magit.texi
• Generating magit.texi