Fix non-release 0.2

Though there is a 0.2 tag and a "Release 0.2" commit, it was not
really released, but instead of force-updating the tag let's adapt the
version number and history file.