Update documentation to indicate version 4.0 is released.