VLC not handling devices with multiple DVB frontends

The only option to select a device (tuner) is by the adapter number in the VLC user interface

/dev/dvb/adapter[0-9]

I am using a USB tuner with two frontends, which VLC can not see.

Extract of dmesg as an example:

[  357.116757] usb 2-1.2.4: DVB: registering adapter 0 frontend 0 (Realtek RTL2832 (DVB-T))...
[  357.116998] usb 2-1.2.4: DVB: registering adapter 0 frontend 1 (Panasonic MN88473)...

We could except VLC to ask for a frontend in addition to the adapter, for example:

/dev/dvb/adapter[0-9]/frontend[0-9]

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information