But in October 2022, I tried again - and moving this setting to still does the trick.

Click here to return to Domesday DVD HDMI Capture