That's great! It also brings up another question. Don't you think we
should push the current development version into the stable ppa now? I
mean, the ones using the stable ppa must be stuck with a _really_ old
version. I have had absolutely no trouble with the development one.
What do you think?