docs: update goal markdown formatting and metadata

Updates formatting and metadata in const-generics, relink-dont-rebuild,
and typesystem-docs goal documents for consistency and correctness.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <[email protected]>

Author: nikomatsakis

src/2025h2/const-generics.md

@@ -36,4 +36,4 @@ suddenly stops working as well as type generics, forcing code to be rewritten to
 | ---------------------------- | ------------------- | -------------------------------- |
 | Design meeting               | ![Team][] [lang]    | topic: `adt_const_params` design |
 | `adt_const_params` RFC draft | @BoxyUwU            |                                  |
-| Finish `mgca` prototype      | @BoxyUwU @camelid   |                                  |
+| Finish `mgca` prototype      | @BoxyUwU, @camelid   |                                  |

src/2025h2/relink-dont-rebuild.md

@@ -1,14 +1,15 @@
 # Relink don't Rebuild
+
 | Metadata         |                                    |
 | :--              | :--                                |
 | Point of contact | @yaahc                             |
 | Status           | Proposed                           |
 | Tracking issue   | [rust-lang/rust-project-goals#400] |
 | Zulip channel    |                                    |
-
-
+| Flagship         | Flexible, fast(er) compilation    |
 | [cargo] champion | @weihanglo |
 | [compiler] champion | @oli-obk |
+
 ## Summary
 
 Work towards avoiding rebuilds of a crate's dependents for changes that don't affect the crate's

src/2025h2/typesystem-docs.md

@@ -36,4 +36,4 @@ All type system components should be thoroughly documented. Contributors should
 | Discussion and moral support | ![Team][] [types]   |       |
 | Triage Analysis Chapter      | @BoxyUwU            |       |
 | Const Generics Documentation | @BoxyUwU            |       |
-| New Solver Documentation     | @BoxyUwU @lcnr      |       |
+| New Solver Documentation     | @BoxyUwU, @lcnr     |       |