[upgrade guide] Fix not about 4.0 not being out yet. It is.