This requires makeinfo installed and wastes time (especially in CI).
Attach a file by drag & drop or click to upload