chore(1000): remove nonexistent fields (#20493)

robertylewis · robertylewis · commit a57f31753dde · 2025-01-05T17:28:34.000Z
`comment` is not a supported field and so the website build is [broken](https://github.com/leanprover-community/leanprover-community.github.io/actions/runs/12616366640/job/35157520815). Changes to the website to actually support this would be welcome.
diff --git a/docs/1000.yaml b/docs/1000.yaml
@@ -1329,7 +1329,7 @@ Q1191862:
 Q1194053:
   title: Metrization theorems
   decl: TopologicalSpace.metrizableSpace_of_t3_secondCountable
-  comment: "Urysohn's metrization theorem (only)"
+  # comment: "Urysohn's metrization theorem (only)"
 
 Q1196538:
   title: Descartes's theorem
@@ -1384,7 +1384,7 @@ Q1306092:
 Q1306095:
   title: Whitney embedding theorem
   decl: exists_embedding_euclidean_of_compact
-  comment: "baby version: for compact manifolds; embedding into some *n*"
+  # comment: "baby version: for compact manifolds; embedding into some *n*"
 
 Q1307676:
   title: Künneth theorem
