Add a first release tag.

Note this code doesn't work!