new area of focus with rust-lang/rust#96709 merged?

[ahl]

per https://github.com/rust-lang/generic-associated-types-initiative/blob/master/README.md?plain=1#L15-L17

We are currently focused on stabilizing a Minimum Viable Product form of GATs in [rust-lang/rust#96709]. Learn more here!

Now that rust-lang/rust#96709 what is the new area of focus?

[slanterns]

Some limitations and future work can be found here: https://rust-lang.github.io/generic-associated-types-initiative/explainer/rough_edges.html