Effect 4 Announcements at Effect-days Beyond GitHub Issues

I know there was some discussion of effect 4 at the Effect-days. Was anything announced outside of what exists in the 4.0 label in the github issues?
Was this page helpful?