Do we want to include the changelog PR in the release, or not? (Either is fine. Mostly depends whether we merge or tag first)