Hello,
> The manual should also be updated to reflect this change. Fixed, thanks for the reminder. > Also, is there any reason for making this change on > ‘core-updates-frozen’ rather than ‘master’? Yes, that's a follow-up of 86cf4c039631cdf15c4c428bf4ffe52d6cbd7d4c that was pushed on core-updates a while ago. Thanks, Mathieu