entById("meta-install").appendChild(document.createTextNode(`${currentVersion.index.name} = { version = "${currentVersion.index.vers}", registry = "${registryInfo.registryName}" }`));
    for (const doc of currentVersion.docs) {
      if (doc.isPresent) {
        const crateRustName = currentVersion.index.name.replaceAll("-", "_");
        const link = document.createElement("a");
        if (doc.target === registryInfo.toolchainHost) {
          // default target
          link.appendChild(document.createT