I was disappointed to see that the two patches - linked here: https://mailman.videolan.org/pipermail/vlc-devel/2018-March/118222.html - have apparently still not been included as of the latest release (3.0.6). Can we expect to see them soon? Ross.