message: Move `download-folder-button` to the dropdown
diff: import React from 'dom-chef';
  import select from 'select-dom';
  -import {DownloadIcon} from '@primer/octicons-react';
  import * as pageDetect from 'github-url-detection';
  import features from '.';
  +import {getRepo} from '../github-helpers';
  function init(): void {
  const downloadUrl = new URL('https://download-directory.github.io/');
  @@ -21,17 +21,16 @@ function init(): void {
  );
  } else {
  // "Repository refresh" layout
  - select('.file-navigation > .d-flex:last-child')!.append(
  - <a
  - className="btn ml-2"
  - href={downloadUrl.href}
  - >
  - <DownloadIcon className="mr-1"/>
  - Download
  + for (const deleteButton of select.all(`form[action^="/${getRepo()!.nameWithOwner}/tree/delete"]:not(.rgh-download-folder)`)) {
  + deleteButton.classList.add('rgh-download-folder'); // TODO: Drop when #3945 is completely fixed
  + deleteButton.before(
  + <a className="dropdown-item" href={downloadUrl.href}>
  + Download directory
  </a>
  );
  }
  }
  +}
  void features.add(__filebasename, {
  include: [
  @@ -40,5 +39,6 @@ void features.add(__filebasename, {
  exclude: [
  pageDetect.isRepoRoot // Already has an native download ZIP button
  ],
  + repeatOnBackButton: true, // TODO: Drop when #3945 is completely fixed
  init
  });
  