Julien Cristau wrote: > Removed earlier today per #706551. Many thanks for your recent work on release-notes. Maybe it will be all right in time for the release after all. ;-)