Release v4.0.2; see CHANGELOG for details.