Hi all, What sound editor do you use? I have been trying Audacity, but it doesn't support Pulseaudio and I havent been able to get it to work. Many thanks, Christian