Release v4.0; see CHANGELOG for details.