Version bumped to 0.5.0 (unreleased); history updated