Daniel-Constantin Mierla writes:
This is due to some ongoing work started in the morning -- I just updated the wiki core cookbook and the upgrade guidelines:
Just after sending the email, I saw the emails of the related commits and figured out the change.
-- Juha