Hi! When I pause a video file, the sound sometimes takes half a second longer to pause than the video does, leading to A/V desyncing when resuming. This issue is observed in both the official (v2.0.1) Linux version of VLC (using Pulseaudio as the audio backend and using Xv with the open-source r600g...