Add a Highlights section to the 4.0 release notes.