Remove dgemm page; keep verification on BLAS page only.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: hugomeiland

scientific-libs/blas.md

@@ -25,7 +25,7 @@ Build with `eb --from-pr <num> --robot` into an **EESSI-extend** user install, t
 
 ## Verification {#verification}
 
-The benchmarks repo renamed `dgemm/` → **`OpenBLAS/`** — a small suite for **BLAS performance and per-routine correctness**, used to isolate broken RVV kernels before trusting downstream apps.
+Small, self-contained programs in [opensolvers/benchmarks/OpenBLAS](https://github.com/opensolvers/benchmarks/tree/main/OpenBLAS) for **BLAS performance and per-routine correctness** — used to isolate broken RVV kernels before trusting downstream apps.
 
 | File | Purpose |
 | ---- | ------- |

scientific-libs/dgemm.md

@@ -60,7 +60,7 @@ Catalog: `_data/videos.yml` (newest first). Rendered by `_includes/video-grid.ht
 
 | Date | Decision |
 |------|----------|
-| 2026-07-19 | Sync benchmarks PR #18: `dgemm/` → `OpenBLAS/`; merge verification into BLAS page; `dgemm.html` redirect stub; fix GitHub links |
+| 2026-07-19 | Sync benchmarks PR #18: merge OpenBLAS verification into BLAS page; remove `dgemm.html`; fix GitHub links |
 | 2026-07-18 | Videos page + `_data/videos.yml`; U74 YouTube link; SEO (`url`, JSON-LD, robots.txt, page descriptions) |
 | 2026-07-18 | Per-board compute-backend SVGs; fix invalid UTF-8 in VisionFive 2 / K1 diagrams |
 | 2026-07-18 | U74 video production moved to private repo `opensolvers/u74-video` (removed from site) |