Remove docs page tagline; update acknowledgements

Author: atharvas

localgdoc.aml

@@ -70,7 +70,7 @@ paperFooter.citation.bibtex:@misc{sehgal2025formulacode,
 }
 :end
 paperFooter.funding.title: Acknowledgements
-paperFooter.funding.description: This project was supported with a Slingshot Award from the <a href=https://www.laude.org/>Laude Institute</a>.
+paperFooter.funding.description: This work was supported in part by a Slingshot Award from the <a href=https://www.laude.org/>Laude Institute</a>, NSF awards III-#2505097, PPoSS-#2316161, NSF #2505096, NSF #2505098, and gifts from Point72 and OpenAI.
 
 paperFooter.relatedWork.show: false
 paperFooter.relatedWork.title: Related Work

src/components/pages/DocsPage.svelte

@@ -3,7 +3,6 @@
 		{
 			path: "formula-code/fc-eval",
 			name: "fc-eval",
-			tagline: "Evaluation harness",
 			description:
 				"Run frontier LLM agents against the FormulaCode benchmark. Spins up reproducible Docker environments, replays the unit-test suite, and computes per-workload speedup, advantage, and stratified scores. Bring your own Terminus or OpenHands agent — `fceval run -d formulacode -a <your-agent>` is all it takes.",
 			docsUrl: "/docs/eval/",
@@ -14,7 +13,6 @@
 		{
 			path: "formula-code/datasmith",
 			name: "datasmith",
-			tagline: "Data curation pipeline",
 			description:
 				"The four-stage pipeline that mines FormulaCode's tasks from real GitHub repositories: scraping high-quality performance PRs, attribute-filtering them with LLM judges, synthesising reproducible build environments, and running the statistical-significance tests that admit a candidate into the benchmark.",
 			docsUrl: "/docs/data/",
@@ -75,7 +73,6 @@
 					>
 						<div class="card-header">
 							<span class="repo-path">{r.path}</span>
-							<span class="repo-tagline">{r.tagline}</span>
 						</div>
 						<div class="card-image">
 							<img src={r.image} alt={r.imageAlt} loading="lazy" />
@@ -247,15 +244,6 @@
 		color: var(--text-muted);
 	}
 
-	.repo-tagline {
-		font-family: var(--sans);
-		font-size: 0.7rem;
-		font-weight: 700;
-		text-transform: uppercase;
-		letter-spacing: 0.08em;
-		color: var(--brand-red);
-	}
-
 	.card-image {
 		padding: var(--space-md) var(--space-lg);
 	}