enricobattocchi

Bump version, update docs, commit, tag, push, and create a GitHub release. Use when the user asks to release, ship, or publish a new version.