/etc/config/dhcp option local does not generate a local=/domain/

Running r4044 (Archer C7 Optimized)

I noticed https://lede-project.org/docs/user-guide/dns_configuration describing the local option.

config dnsmasq
option local '/lan'/

Intuitively, I assume that this would generate a local=/lan/ command in the dhcp.conf file, but to my surprise it generates server=/lan/

I could not find a reason in the forum why, what did I miss?

local is a synonym for server. For more information see http://www.thekelleys.org.uk/dnsmasq/docs/dnsmasq-man.html