This milestone was initially planned as a patch release of version 4.0.0, but eventually we decided to go ahead with the release of version 4.1.0. All the PRs in this milestone are just back-ports from master, so they are already included in 4.1.0.