Ah, yes, when we release, we should definitely tag the source in github.