Have I set up ODVR correctly?

You can verify the correctness of your setting via the test bellow.

(…)

Using ODVR for TCP port 853 (DoT) (IP addresses: 193.17.47.1 and 185.43.135.1 / 2001:148f:ffff::1 and 2001:148f:fffe::1)