These didn't push for some reason - documentation and bug fix in VLC