I guess we’re aiming for another release this year, so I think there’s no point to holding this. I’ll cut a release now, and fill in release notes laterz