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