Re: releasing & packaging vs. renaming

I propose that we make the 0.3 release today as planned, and then work in the coming week to bring out 0.4 with the rename. 0.4 will then be the first version in Debian.

Sounds great!