>I have noticed a number of bugs in HEAD. These may be in hand already, I
>don't know. Should I report them here, elsewhere or not at all?
>Things like 'the delete key no longer works'.
HEAD is the cutting edge, so if you find a bug in there, it is definitely worth fixing it. Many bugs are indeed known already, but no one had the time to fix them, so just go ahead. Additionally, you may want to look at the (somewhat private) Audacity bug database here:
If you create an account, you can add your comments to the bugs, or mark bugs as FIXED if you have fixed them.
In every case, patches are highly welcome! I really appreciate all the work you put into Audacity at the moment. I think you'll definitely get a special mention in the 1.3 release notes ;-)