Release v5.0.2; see CHANGELOG for details.