Windows 10 DHCP Client and RFC 3397 (a.k.a. DHCP option 119, Domain Search Option)

Using DHCP option 119, Domain Search Option as documented in RFC 3397 would make my life a lot easier. All the Linux-Machines on my network have supported this option for quite a while, but unfortunately I also have to take several Windows machines into account. Fortunately, they all run Windows 10, so there may yet be hope.

From what I gather Windows versions up to and including Windows 7 still did not comply to the RFC. I believe to have read that Windows 8 didn't either, but I can't find anything to confirm that right now.

But does Windows 10's DHCP client support DHCP option 119?

TL;DR:
It wasn't supported back then, but it is supported now!

Since the April 2018 Update to Windows 10, its DHCP client has finally gained the ability to handle DHCP option 119 (source), only 16 years after its introduction.

So, years later, the topic came up again, and we've looked into it once more. It was still just as hard to find any information on this topic. This thread (still without an answer) was actually one of the best results our search brought up, so when we found the Microsoft announcement linked above, I decided to leave the answer here for anyone else who might end up here.