I’ve never even heard of the DHCP option for this. How widely adopted is it? It’s surprising to hear it called “the right way” when it wouldn’t work for a single-stack IPv6 (or IPv6-mostly, probably) network.
https://www.rfc-editor.org/info/rfc8910/ is, I think, the latest version of the standard.