After around 1.5h of operation, we'd get messages such as:
vlcpulse audio output error: PulseAudio server connection failure: Connection terminated
Tracked down to not correctly releasing vlc player resources when
track had finished playing. Fixed now, and much simplified the fadeout
code as well.