Release 0.5.0, now with more tagging.