As reported in: https://forum.videolan.org/viewtopic.php?f=35&t=110952&p=376371#p376103
moved to vlc-android#1918 (closed)