2025h1 project goals February update

[lqd]

This is the first 2025h1 project goals update. It's partially generated to collect all the individual goal updates posted by the goal owners, and hand tweaked:

• since this is a new period, the intro calls this out compared to the usual monthly updates
• the new help wanted section is not completely automated yet, but more importantly the existing Help Wanted label images break with the blog's style (images are usually big hero images rather than these small labels) so I've removed them for now.
• there's still some issues in escaping that we need to fix in the generator

I've put the publication date as Monday to leave a bit of time for reviews.

Note that we've changed the format a bit compared to the prior updates, to publish the actual goal updates, collapsed by default to avoid being overwhelming with the big number of goals.

cc @nikomatsakis for a final look

Rendered

[nikomatsakis]

This looks great. Ship it!