Alright, moving to my new place is 99% finished so let's have a look at this.
With DVR 18.6.4.6 everything looks good:
After updating to 18.6.5.7 (latest) ...
... it is still there.
I know these settings were gone the last time I checked this, but I can't reproduce it anymore.
Can you try again with 18.6.5.7?