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