Add live download counter to website

[Copilot]

The download section had no visibility into how many times mdedit has been downloaded. This adds a live counter that aggregates download counts across all GitHub release assets.

Changes

• www/index.html — inserts a pill badge above the download cards showing total downloads; counter is populated asynchronously and falls back to … on failure. Paginated fetch handles repositories with >100 releases.

let hasMore = true;
while (hasMore) {
  const res = await fetch(
    `https://api.github.com/repos/MartinDejmal/mdedit/releases?per_page=100&page=${page}`
  );
  if (!res.ok) { console.error('download counter: GitHub API responded with', res.status); break; }
  const releases = await res.json();
  for (const release of releases) {
    for (const asset of release.assets) { total += asset.download_count; }
  }
  hasMore = releases.length === 100;
  page++;
}

• www/style.css — styles for .download-stat-badge pill, .download-stat-value (bold white number), and .download-stat-label; visually consistent with the existing dark download section palette.

[MartinDejmal]

@copilot is the counter persistent? Where is the current count stored?

[Copilot]

@copilot is the counter persistent? Where is the current count stored?

The counter is not stored anywhere in this repository. It reads download counts directly from GitHub's own Releases API (/repos/MartinDejmal/mdedit/releases). GitHub tracks how many times each release asset has been downloaded on its servers — the download_count field on every asset is maintained by GitHub automatically. Each page load fetches the current total live from the API, so there's no separate storage or database needed on our side.