Could you please edit again and put just 4.0.0? That's what people are going to read when final is out.

Please do not open pull requests, just edit and push directly (with no merge commit).