Problem - The version number in git remains to be the last released one, even though it may contain further changes already. Goal - Ensure development snapshots can be properly identified. Proposed solution 1. Parse current version numbers from files. 2. Ask user to enter new version number (with automated suggestion). 3. _Change_ the version number (using `sed`). 4. Do the review/commit/tag/release shebang. 5. Ask user to enter new dev snapshot version number (with automated suggestion). 6. Change and commit the new dev version number to git.