On the Samsung we have, press "source" then highlight the hdmi source you want to change and press "up"and select "edit".
If it no longer has the VM icon in that list you might need to remove and re add the source. But as you say, it doesn't give any benefit other than the icon 😎
Oomph Hub3 (modem mode) RT-AC68U with Merlin F/W.
