This requires makeinfo installed and wastes time (especially in CI).