text: import * as React from "react";
  import * as ReactDOM from "react-dom";
  
  const root = document.getElementById("version");
  
  export default function ({ version }) {
    const match = version.match(/^pr-(\d+)$/);
    let href;
    if (match) {
      href = `pull/${match[1]}`;
    } else if (/\.0$/.test(version)) {
      href = `releases/tag/${version}`;
    } else {
      href = `blob/main/CHANGELOG.md#${version.replace(/\./g, "")}`;
    }
  
    const formattedVersion = match ? `PR #${match[1]}` : `v${version}`;
  
    React.useEffect(() => {
      document.title = `Prettier ${formattedVersion}`;
    }, [formattedVersion]);
  
    return ReactDOM.createPortal(
      <a
        href={`https://github.com/prettier/prettier/${href}`}
        target="_blank"
        rel="noreferrer noopener"
      >
        {formattedVersion}
      </a>,
      root
    );
  }
  