Update docs & specs for release of v4.0.0