Add bumped version; deploy.py bumped it but didn't add the edit to git.