I sent the PR so yes, I think it’s still necessary...

# announcements

[cedric]

I sent the PR so yes, I think it’s still necessary (and hard to miss, you get the friendly green button “Create a PR”)