                                   <a href="<||= W\windowsFullAmd64 ||>"><i class="far fa-arrow-alt-circle-down" aria-hidden="true"></i>&nbsp;&nbsp;Download</a>
                                </span>
                                <span id="windows-amd64-mini-download" class="mini-version is-hidden">
                                    <|| switch key? W 'windowsMiniAmd64 [ ||>
                                    <a href="<||= W\windowsMiniAmd64 ||>"><i class="far fa-arrow-alt-circle-down" aria-hidden="tru