Another case of <xref linkend> in the documentation that builds INSTALL, which is not allowed.
Attach a file by drag & drop or click to upload
