We will need a maintainer to create and push the tag for 4.1.0, and we
missed that on 4.0.0 so it would be good if that could happen at the
same time. I had to create a tag locally for 4.0.0 to get the release
script to behave