Release v4.0.1; see CHANGELOG for details.