We try to mirror the metrics versioning scheme as much as possible. But good point, that should be `4.0.1.0-SNAPSHOT`.