core-updates is back

[Ludovic Courtès]

Hi!

I pushed a new core-updates branch, with some of the changes I had in
mind.  Go ahead if you know of anything that needs to be fixed there.

As discussed before, we’ll merge the branch before June 13th.

Thanks,
Ludo’.