Release v4.2; see CHANGELOG for details.