It would be good if we could do a release for version 0.2 with the recently merged changes. What's the process for the release typically? Besides the hackage release, what else is needed? For instance, do you tag the commit and add "announce" it on Github?