VLC 2.0.5 for Linux Arrives with Many Changes

Fixes DVB-S, PulseAudio, MKV, embedded subtitle fonts issues
by Marius Nestor, December 13th, 2012